1653 search results - page 67 / 331 » Timed analysis of security protocols |
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
MOBIQUITOUS
2005
IEEE
15 years 3 months ago
2005
IEEE
Routing is a critical function in multi-hop mobile ad hoc networks (MANETs). A number of MANET-oriented routing protocols have been proposed, of which DSR is widely considered bot...
ICMB
2005
IEEE
15 years 3 months ago
2005
IEEE
SIP appears to be a powerful and useful signaling protocol supporting mobility for wireless IP networks but it has inherent weaknesses and dangers. This paper is a study on the se...
123
click to vote
CAU
2004
14 years 11 months ago
2004
Protecting data is not simply a case of encrypt and forget: even data with full cryptographic confidentiality and integrity protection can still be subject to information leakage. ...
105
click to vote
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...