3751 search results - page 189 / 751 » Events in security protocols |
137
Voted
OPODIS
2008
15 years 5 months ago
2008
We consider asynchronous deterministic broadcasting in radio networks. An execution of a broadcasting protocol is a series of events, each of which consists of simultaneous transm...
166
click to vote
FOCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Coin flipping is one of the most fundamental tasks in cryptographic protocol design. Informally, a coin flipping protocol should guarantee both (1) Completeness: an honest executi...
138
Voted
SECURWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
181
click to vote
CSFW
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
111
click to vote
EUROPKI
2008
Springer
15 years 5 months ago
2008
Springer
Real world healthcare systems are generally large and overly complex systems. Designing privacy-friendly protocols for such systems is a challenging task. In this paper we present ...