22 search results - page 1 / 5 » The layered games framework for specifications and analysis ... |
IJACT
2008
13 years 3 months ago
2008
ACSC
2007
IEEE
13 years 8 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
APN
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
ACISP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
ECOWS
2007
Springer
13 years 6 months ago
2007
Springer
Key establishment is essential for many applications of cryptography. Its purpose is to negotiate keys for other cryptographic schemes, usually for encryption and authentication. I...