947 search results - page 143 / 190 » Provable Implementations of Security Protocols |
LISA
2007
14 years 7 days ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
ENC
2005
IEEE
14 years 3 months ago
2005
IEEE
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....
SIGCOMM
2012
ACM
12 years 11 days ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...
FC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...