573 search results - page 23 / 115 » Security Analysis of Voice-over-IP Protocols |
149
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
133
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
174
click to vote
NTMS
2008
IEEE
16 years 11 days ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
161
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
241
click to vote
CTRSA
2011
Springer
14 years 9 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...