3115 search results - page 45 / 623 » Synthesizing Secure Protocols |
CADE
2008
Springer
14 years 9 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
13 years 9 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.
CSFW
2008
IEEE
13 years 10 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...
ESORICS
1994
Springer
14 years 1 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
AAMAS
1999
Springer
13 years 8 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...