Results 21 to 30 of about 3,123,586 (291)
An efficient and private authentication protocol for RFID systems [PDF]
, 2013 Radio Frequency IDentification based systems are getting pervasively deployed in many real-life applications in various settings for identification and authentication of remote objects.
Sariyuce, Mehmet +8 more
core +2 more sources
SKINNY-Based RFID Lightweight Authentication Protocol
Sensors, 2020 With the rapid development of the Internet of Things and the popularization of 5G communication technology, the security of resource-constrained IoT devices such as Radio Frequency Identification (RFID)-based applications have received extensive ...
Liang Xiao +4 more
doaj +1 more source
Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003 AbstractThis paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting from basic security components, using a sequence of refinements and transformations, just like logical proofs are derived starting from axioms, using proof rules and ...
Datta, A +3 more
openaire +3 more sources
Formally based semi-automatic implementation of an open security protocol [PDF]
, 2012 International audienceThis paper presents an experiment in which an implementation of the client side of the SSH Transport Layer Protocol (SSH-TLP) was semi-automatically derived according to a model-driven development paradigm that leverages formal ...
Pironti, Alfredo +5 more
core +1 more source
Formal Verification of Security Protocol Implementations: A Survey [PDF]
, 2014 Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
Pironti, Alfredo +3 more
core +1 more source
Incentives in Security Protocols [PDF]
, 2018 Real world protocols often involve human choices that depend on incentives, including when they fail. We look at three example systems (the EMV protocol, consensus in cryptocurrencies, and Tor), paying particular attention to the role that incentives play in fail-safe and fail-deadly situations.
Sarah Azouvi +2 more
openaire +1 more source
Safe abstractions of data encodings in formal security protocol models [PDF]
, 2014 When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away.
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures [PDF]
, 2004 Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party protocols may not be able to model a group protocol, or its intended security ...
Graham Steel +5 more
core +1 more source
An efficient and private RFID authentication protocol supporting ownership transfer [PDF]
, 2013 Radio Frequency IDentification (RFID) systems are getting pervasively deployed in many daily life applications. But this increased usage of RFID systems brings some serious problems together, security and privacy. In some applications, ownership transfer
Arslan, Atakan +7 more
core +1 more source
PolitejaRules of Engagement (ROE) constitute a structured framework guiding the use of lethal force within specific operational contexts, blending legal, policy and operational considerations.
Marcin Marcinko
doaj +3 more sources