3115 search results - page 10 / 623 » Synthesizing Secure Protocols |
FOSAD
2000
Springer
13 years 11 months ago
2000
Springer
ACISP
2010
Springer
13 years 9 months ago
2010
Springer
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
IJNSEC
2008
13 years 7 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
GCC
2003
Springer
14 years 28 days ago
2003
Springer
This paper analyzes security problems existing in Grid Computing System and describes the security mechanism in Grid Computing System. After briefly introducing the security abstra...