1317 search results - page 32 / 264 » A New Design for a Practical Secure Cookies System |
143
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
147
click to vote
IMA
1997
Springer
15 years 8 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
164
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
114
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Recently, there has been an increased focus and a sense of urgency in developing standards for Power Grid systems centered on the need for interoperability. Given the threat again...
200
click to vote
TCOS
2010
14 years 11 months ago
2010
Password Authenticated Key Exchange (PAKE) is one of the important topics in cryptography. It aims to address a practical security problem: how to establish secure communication be...