554 search results - page 46 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
121
click to vote
LCN
2007
IEEE
15 years 9 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
122
Voted
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
130
Voted
CHARME
1997
Springer
15 years 7 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
139
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
168
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...