526 search results - page 11 / 106 » A Z Based Approach to Verifying Security Protocols |
EPEW
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
CRYPTO
2006
Springer
13 years 11 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In this paper new, lightweight security and control protocol for Voice over Internet Protocol (VoIP) service is presented. It is the alternative for the IETF's (Internet Engi...
IANDC
2008
13 years 7 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...