Formal Verification of Privacy for RFID Systems

doi 10.1109/csf.2010.13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Formal Verification of Hybrid Systems

2011English

Comparing Formal Verification Approaches of Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formal Verification of Real-Time Systems With Preemptive Scheduling

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2008English

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools

2018English

Combined Fingerprint Verification for Privacy Protection

International Journal of Innovative Research in Computer and Communication Engineering
2015English

A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages
2017English

Formal Modeling and Verification for MVB

Journal of Applied Mathematics
Applied Mathematics
2013English

A Forward Privacy Model for RFID Authentication Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Survey on Privacy Frameworks for RFID Authentication

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy