1106 search results - page 199 / 222 » Automated Design of Security Protocols |
LATINCRYPT
2010
13 years 8 months ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...
CASES
2010
ACM
13 years 8 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages, such as the Extensible Mark...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
DSVIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...