3751 search results - page 19 / 751 » Events in security protocols |
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
OOPSLA
1990
Springer
13 years 11 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...
PVLDB
2010
13 years 6 months ago
2010
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
PET
2004
Springer
14 years 1 months ago
2004
Springer
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...