3088 search results - page 55 / 618 » Multichannel Security 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 8 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 24 days 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...
ICC
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract— A novel multichannel schedule-based Medium Access Control (MAC) protocol for ad-hoc networks, named collision-avoidance transmission scheduling (CATS) is introduced. CA...