756 search results - page 38 / 152 » Modeling Computational Security in Long-Lived Systems |
SACMAT
2009
ACM
14 years 4 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
ICON
2007
IEEE
14 years 4 months ago
2007
IEEE
— Security is paramount in Mobile Ad-hoc Networks (MANET) as they are not conducive to centralized trusted authorities. Several solutions have been proposed MANET in the areas of...
CISC
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...
ICDCS
2006
IEEE
14 years 3 months ago
2006
IEEE
A peer-to-peer (P2P) storage system allows a network of peer computers to increase the availability of their data by replicating it on other peers in the network. In such networks...
SSS
2009
Springer
14 years 4 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...