3821 search results - page 204 / 765 » A Security Model for Aglets |
EUROCRYPT
1999
Springer
14 years 1 months ago
1999
Springer
Problems of secure communication and computation have been studied extensively in network models. Goldreich, Goldwasser, and Linial, Franklin and Yung, and Franklin and Wright have...
EUROCRYPT
2000
Springer
14 years 27 days ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
JCP
2008
13 years 9 months ago
2008
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
SSS
2007
Springer
14 years 3 months ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...