343 search results - page 7 / 69 » Formal security analysis of PKCS |
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
SERVICES
2010
13 years 11 months ago
2010
In this paper, we propose an approach based on Formal Concept Analysis in order to organize the services registry at runtime and to allow the "best" service selection am...
FM
2003
Springer
14 years 3 months ago
2003
Springer
CRYPTO
2005
Springer
14 years 3 months ago
2005
Springer
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the crypto...