2162 search results - page 46 / 433 » A Meta-Notation for Protocol Analysis |
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
JCM
2006
13 years 8 months ago
2006
RFID tags will exist pervasively in our daily life in a near future. In RFID systems, privacy and security are of critical importance to avoid potential tracking abuse and privacy ...
ESIAT
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper looks into the features of SMS (short message service) relevant to building a remote monitoring system. Based on the analysis of SMS, a set of guidelines for customizing...
WISTP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol...