718 search results - page 14 / 144 » Operational Semantics of Security Protocols |
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
CSREASAM
2006
13 years 9 months ago
2006
A mobile ad hoc network is a self-organizing network that relies on the cooperation of participating nodes in order to function properly. In this network, mobile users arrive withi...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...