1970 search results - page 270 / 394 » Security Without Firewalls |
108
Voted
ISW
2001
Springer
15 years 8 months ago
2001
Springer
This paper proposes a cryptographic mechanism for metering the duration and/or the number of instances of running a data process. This mechanism has the following property: knowing...
158
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
130
click to vote
FSE
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents several methods to construct trapdoor block ciphers. A trapdoor cipher contains some hidden structure; knowledge of this structure allows an attacker to obtain ...
124
Voted
FC
2010
Springer
15 years 7 months ago
2010
Springer
Since 2004, many nations have started issuing “e-passports” containing an RFID tag that, when powered, broadcasts information. It is claimed that these passports are more secur...
109
Voted
ITP
2010
15 years 7 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...