2071 search results - page 222 / 415 » An Empirical Evaluation of LFG-DOP |
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
ICCD
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
103
click to vote
CTRSA
2010
Springer
15 years 8 months ago
2010
Springer
Security devices are vulnerable to side-channel attacks that perform statistical analysis on data leaked from cryptographic computations. Higher-order (HO) attacks are a powerful a...
128
click to vote
TMA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The available bandwidth of a network path impacts the performance of many applications, such as VoIP calls, video streaming and P2P content distribution systems. Several ...
132
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Anomaly detection for network intrusion detection is usually considered an unsupervised task. Prominent techniques, such as one-class support vector machines, learn a hypersphere ...