1757 search results - page 129 / 352 » Secure Content Validation |
153
click to vote
CSFW
2003
IEEE
15 years 11 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 ...
207
click to vote
ACSAC
2007
IEEE
15 years 10 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...
157
click to vote
ACSAC
2001
IEEE
15 years 10 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...
165
click to vote
IASTEDSEA
2004
15 years 7 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...
166
click to vote
OOPSLA
2010
Springer
15 years 4 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...