171 search results - page 25 / 35 » Securing Provenance-Based Audits |
SP
2000
IEEE
14 years 15 hour ago
2000
IEEE
Although open-source software development has virtues, there is reason to believe that the approach would not have a significant effect on the security of today’s systems. The ...
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
DFN
2003
13 years 9 months ago
2003
In recent years research activities in computer network security focus more actively on the development of effective methods in intrusion detection. The reason for this developmen...
LISA
2003
13 years 9 months ago
2003
Auditing a web site’s content is an arduous task. For any given page on a web server, system administrators are often ill-equipped to determine who created the document, why it...
IDTRUST
2010
ACM
14 years 2 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...