1186 search results - page 206 / 238 » A New Approach to Secure Logging |
108
Voted
IJNSEC
2010
14 years 7 months ago
2010
Digital Signature Algorithm (DSA) is an underlying algorithm to form a signature in the Digital Signature Standard (DSS). DSA uses a new random number (or nonce) each time a signa...
117
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
131
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
114
Voted
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
101
click to vote
MMSEC
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we introduce a new approach to passive-warden steganography in which the sender embeds the secret message into a certain subset of the cover object without having t...