3420 search results - page 361 / 684 » A Language-Based Approach to Security |
197
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...
171
Voted
ICMCS
2006
IEEE
16 years 22 days ago
2006
IEEE
A lightweight encryption technique for JPEG2000 with optional support for transparent encryption is proposed. Randomized anisotropic wavelet packet bases are used to construct a s...
201
click to vote
ICDCIT
2004
Springer
16 years 2 days ago
2004
Springer
We discuss research issues and models for vulnerabilities and threats in distributed computing systems. We present four diverse approaches to reducing system vulnerabilities and th...
169
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
170
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper considers desired properties and possible applications of audio watermarking algorithms. Special attention is given to statistical methods working in the fourier domain...