3605 search results - page 152 / 721 » Securing Security Policies in Autonomic Computing Systems |
SACMAT
2010
ACM
13 years 6 months ago
2010
ACM
The web is now being used as a general platform for hosting distributed applications like wikis, bulletin board messaging systems and collaborative editing environments. Data from...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
CHI
2008
ACM
13 years 10 months ago
2008
ACM
Non-expert users face a dilemma when making security decisions. Their security often cannot be fully automated for them, yet they generally lack both the motivation and technical ...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
provide a scalable and adaptable abstraction of the system architecture. Each agent is able to cooperate with other agents and thereby provide service advertisement and discovery f...