69 search results - page 1 / 14 » The COPS Security Checker System |
USENIX
1990
14 years 1 days ago
1990
In the past several years, there have been a large number of published works that have graphically described a wide variety of security problems particular to Unix. Without fail, ...
TACAS
2004
Springer
14 years 4 months ago
2004
Springer
TOPLAS
2010
13 years 9 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
ACNS
2010
Springer
14 years 3 months ago
2010
Springer
We propose COP, a client-side system for protecting children’s online privacy and empowering parental control over children’s information disclosure with little manual effort. ...
CCS
2008
ACM
14 years 27 days ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...