3420 search results - page 146 / 684 » A Language-Based Approach to Security |
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
113
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Block ciphers are usually based on one top-level scheme into which we plug “round functions”. To analyze security, it is important to study the intrinsic security provided by t...
172
click to vote
DIAU
2000
Springer
15 years 8 months ago
2000
Springer
In multilaterally secure intrusion detection systems (IDS) anonymity and accountability are potentially conflicting requirements. Since IDS rely on audit data to detect violations...
158
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
152
click to vote
ACSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
We study methods for reducing the cost of secure link state routing. In secure link state routing, routers may need to verify the authenticity of many routing updates, and some ro...