215 search results - page 1 / 43 » Analyzing Security Protocols Using Time-Bounded Task-PIOAs |
DEDS
2008
13 years 11 months ago
2008
IFIP
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
IASTEDSEA
2004
14 years 12 days ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
CTRSA
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
ACNS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...