671 search results - page 26 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ESORICS
2010
Springer
14 years 11 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
JALC
2006
14 years 9 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
AbstractAbstractAbstract Decision task and its features are defined in order to distinguish motions, decision purposes, decision problems, alternatives, etc. Indicators of decision...
SECRYPT
2010
14 years 7 months ago
2010
Security for Next Generation Networks (NGNs) is an attractive topic for many research groups. The Y-Comm security group believes that a new security approach is needed to address t...