1186 search results - page 141 / 238 » A New Approach to Secure Logging |
149
Voted
AI
2012
Springer
13 years 8 months ago
2012
Springer
This paper describes a challenging plan recognition problem that arises in environments in which agents engage widely in exploratory behavior, and presents new algorithms for eff...
106
click to vote
PODC
2009
ACM
16 years 1 months ago
2009
ACM
Consider a completely asynchronous network consisting of n parties where every two parties are connected by a private channel. An adversary At with unbounded computing power activ...
106
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
92
Voted
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
88
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
— Sharing IP blocks in today’s competitive market poses significant high security risks. Creators and owners of IP designs want assurances that their content will not be illeg...