270 search results - page 3 / 54 » Verifying Second-Level Security Protocols |
CRYPTO
1998
Springer
14 years 23 days ago
1998
Springer
Verifiable Signature Sharing (VS ) enables the recipient of a digital signature, who is not necessarily the original signer, to share such signature among n proxies so that a subse...
CSFW
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
ASM
2005
ASM
14 years 2 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
AINA
2005
IEEE
14 years 2 months ago
2005
IEEE
CSFW
2010
IEEE
14 years 14 days ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...