6164 search results - page 897 / 1233 » Teaching Computer Security |
141
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
128
click to vote
SAFECOMP
2001
Springer
15 years 9 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
143
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Construction of secure hyperelliptic curves is of most important yet most difficult problem in design of cryptosystems based on the discrete logarithm problems on hyperel...
158
Voted
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
155
click to vote
AGENTS
1999
Springer
15 years 9 months ago
1999
Springer
We consider the problem of how to design large decentralized multiagent systems (MAS’s) in an automated fashion, with little or no hand-tuning. Our approach has each agent run a...