3751 search results - page 60 / 751 » Events in security protocols |
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...
101
click to vote
ESORICS
1994
Springer
15 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...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Many of packet loss as a result of factors other than congestion impact the performance of TCP in wired/wirelss hybrid networks. Firstly, this paper proposes one concept of Cong...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card