94 search results - page 13 / 19 » Verifying a Secure Information Flow Analyzer |
116
Voted
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
81
Voted
LCN
2006
IEEE
15 years 5 months ago
2006
IEEE
Network monitoring is a major building block for many domains in communication networks. Besides typical accounting mechanisms and the emerging area of charging in next generation...
90
Voted
DAC
2008
ACM
15 years 1 months ago
2008
ACM
Security of MPSoCs is an emerging area of concern in embedded systems. Security is jeopardized by code injection attacks, which are the most common types of software attacks. Prev...
107
click to vote
TDSC
2010
14 years 6 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...