741 search results - page 127 / 149 » Verification of security protocols using LOTOS-method and ap... |
CCS
2009
ACM
14 years 10 months ago
2009
ACM
We revisit the venerable question of access credentials management, which concerns the techniques that we, humans with limited memory, must employ to safeguard our various access ...
MICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
SIGMOD
2011
ACM
13 years 20 days ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
EUROSYS
2006
ACM
14 years 7 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...