57 search results - page 8 / 12 » Middleware for Automated Implementation of Security Protocol... |
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
87
Voted
LPAR
2007
Springer
15 years 3 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
FC
2010
Springer
15 years 1 months ago
2010
Springer
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...
EUC
2005
Springer
15 years 3 months ago
2005
Springer
As a promising technology that enables ubiquitous computing and leads IT industries of next generation, sensor networks (SN) are foreseen to expand and populate the globe in such a...
CADE
2008
Springer
15 years 9 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...