947 search results - page 80 / 190 » Provable Implementations of Security Protocols |
P2P
2008
IEEE
15 years 6 months ago
2008
IEEE
The rapid proliferation of Internet and related technologies has created tremendous possibilities for the interoperability between domains in distributed environments. Interoperab...
116
click to vote
CRYPTO
2010
Springer
15 years 29 days ago
2010
Springer
Due to its universality oblivious transfer (OT) is a primitive of great importance in secure multi-party computation. OT is impossible to implement from scratch in an unconditional...
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. From a security standpoint, it is preferable to implement least privilege network security policies in which only the bare minimum of TCP/UDP ports on internal hosts are ...
IJNSEC
2007
14 years 11 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
118
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Vehicular communication networking is a promising approach of facilitating road safety, traffic management, and infotainment dissemination for drivers and passengers. However, i...