2979 search results - page 218 / 596 » Modelling secure multiagent systems |
173
click to vote
JCP
2008
15 years 6 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
152
click to vote
IWSEC
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
150
click to vote
NOMS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
172
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
199
click to vote
MEDES
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...