573 search results - page 44 / 115 » Security Analysis of Voice-over-IP Protocols |
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
NORDSEC
2009
Springer
15 years 2 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
CRYPTO
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we identify the (P, Q)-DDH assumption, as an extreme, powerful generalization of the Decisional Diffie-Hellman (DDH) assumption: virtually all previously proposed gen...
ISW
2001
Springer
15 years 2 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...