69 search results - page 1 / 14 » The COPS Security Checker System |
USENIX
1990
13 years 5 months 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
13 years 10 months ago
2004
Springer
TOPLAS
2010
13 years 3 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
13 years 9 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
13 years 6 months 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...