2474 search results - page 368 / 495 » Attacks on Steganographic Systems |
177
click to vote
CEEMAS
2007
Springer
16 years 20 days ago
2007
Springer
This paper presents an agent-based approach to Network Intrusion Prevention on corporate networks, emphasizing the protection from fast-spreading mobile malicious code outbreaks (e...
153
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
181
click to vote
FROCOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
182
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
167
click to vote
DSD
2006
IEEE
16 years 17 days ago
2006
IEEE
Programmable logic arrays (PLAs) present an alternative to logic-gate based design. We propose the transistor level structure of a PLA for single-rail asynchronous applications. T...