3504 search results - page 78 / 701 » Secure protocol composition |
127
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
125
click to vote
SCN
2010
Springer
15 years 26 days 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
16 years 2 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.
138
click to vote
CJ
2007
15 years 2 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.
149
click to vote
CSFW
2008
IEEE
15 years 4 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...