3115 search results - page 254 / 623 » Synthesizing Secure Protocols |
147
click to vote
CCS
1994
ACM
15 years 10 months ago
1994
ACM
The Escrowed Encryption Standard (EES) defines a US Government family of cryptographic processors, popularly known as "Clipper" chips, intended to protect unclassified g...
178
Voted
NORDSEC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
188
click to vote
ISCC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Identity Management (IdM) on the application layer improves the usability and security for end users by offering features like Single Sign-On and attribute provisioning....
167
click to vote
ICNP
2007
IEEE
16 years 29 days ago
2007
IEEE
The current Internet addressing architecture does not verify the source address of a packet received and forwarded. This causes serious security and accounting problems. Based on t...
222
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Recent contributions have uncovered the potential of network coding, i.e. algebraic mixing of multiple information flows in a network, to provide enhanced security in pa...