3605 search results - page 121 / 721 » Securing Security Policies in Autonomic Computing Systems |
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
ICDCSW
2008
IEEE
14 years 2 months ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
SRDS
2010
IEEE
13 years 6 months ago
2010
IEEE
Cloud computing allows the use of Internet-based services to support business processes and rental of IT-services on a utility-like basis. It offers a concentration of resources bu...
PET
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...