1653 search results - page 93 / 331 » Timed analysis of security protocols |
122
click to vote
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
92
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
127
Voted
WSC
2007
15 years 4 months ago
2007
Cyber security methods are continually being developed. To test these methods many organizations utilize both virtual and physical networks which can be costly and time consuming....
122
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
124
Voted
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...