1757 search results - page 129 / 352 » Secure Content Validation |
119
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper defines a framework in which one can formalize a variety of authorization and policy issues that arise in access control of shared computing resources. Instantiations ...
156
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper provides a general and comprehensive approach to implementing misuse detection on expert systems and an in-depth analysis of the effectiveness of the optimization strat...
109
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
It is a well-known problem that intrusion detection systems overload their human operators by triggering thousands of alarms per day. As a matter of fact, we have been asked by on...
116
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...
119
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...