Sciweavers

3751 search results - page 28 / 751
» Events in security protocols
Sort
View
100
Voted
SBMF
2009
Springer
15 years 10 months ago
Towards Safe Design of Synchronous Bus Protocols in Event-B
Ricardo Bedin França, Leandro Buss Becker, ...
143
Voted
AUTONOMICS
2009
ACM
15 years 10 months ago
A Network-Coding Based Event Diffusion Protocol for Wireless Mesh Networks
Roberto Beraldi, Hussein M. Alnuweiri
155
Voted
CORR
2011
Springer
216views Education» more  CORR 2011»
14 years 11 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
150
Voted
STOC
2006
ACM
116views Algorithms» more  STOC 2006»
15 years 10 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