Sciweavers

3751 search results - page 28 / 751
» Events in security protocols
Sort
View
SBMF
2009
Springer
14 years 2 months ago
Towards Safe Design of Synchronous Bus Protocols in Event-B
Ricardo Bedin França, Leandro Buss Becker, ...
CORR
2011
Springer
216views Education» more  CORR 2011»
13 years 2 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
STOC
2006
ACM
116views Algorithms» more  STOC 2006»
14 years 1 months ago
Information-theoretically secure protocols and security under composition
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
Eyal Kushilevitz, Yehuda Lindell, Tal Rabin