8555 search results - page 1647 / 1711 » Property Based Coordination |
ERSHOV
2009
Springer
14 years 22 days ago
2009
Springer
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
ACNS
2004
Springer
14 years 18 days ago
2004
Springer
One of the few quantitative metrics used to evaluate the security of a cryptographic file system is the key length of the encryption algorithm; larger key lengths correspond to hig...
ATAL
2004
Springer
14 years 18 days ago
2004
Springer
This paper deals with a new approach to build a completely distributed and decentralized Intrusion Detection and Response System (IDRS) in computer networks. This approach is call...
DASFAA
2004
IEEE
14 years 18 days ago
2004
IEEE
Data mining is a process that analyzes voluminous digital data in order to discover hidden but useful patterns from digital data. However, discovery of such hidden patterns has sta...
CCS
2006
ACM
14 years 18 days ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...