5324 search results - page 125 / 1065 » Internet Security Protocols |
SCN
2010
Springer
14 years 8 months ago
2010
Springer
We consider a collection of related multiparty computation protocols that provide core operations for secure integer and fixed-point computation. The higher-level protocols offer...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges.
CJ
2007
14 years 10 months ago
2007
In this paper we show that the group key agreement protocol proposed by Tseng suffers from a number of serious security vulnerabilities.
107
click to vote
CSFW
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
113
click to vote
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
Security infrastructures are increasingly used in the health care and welfare sector, particularly for providing security, like confidentiality, authenticity, integrity, nonrepudi...