4511 search results - page 158 / 903 » Observation Based System Security |
161
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
163
click to vote
IM
2003
15 years 7 months ago
2003
: Security of systems and management infrastructure is crucial for a successful, reliable and safe use. Most currently deployed systems are based on simple subject/object-relations...
157
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
194
click to vote
IDTRUST
2010
ACM
15 years 5 months ago
2010
ACM
Public Key technology is about multiple parties across different domains making assertions that can be chained together to make trust judgments. Today, the need for more interoper...
124
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...