756 search results - page 60 / 152 » Modeling Computational Security in Long-Lived Systems |
KDD
2002
ACM
16 years 8 days ago
2002
ACM
Security of computer systems is essential to their acceptance and utility. Computer security analysts use intrusion detection systems to assist them in maintaining computer system...
113
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...
ICALP
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
114
click to vote
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
Emotions play a critical role in creating engaging and believable characters to populate virtual worlds. Our goal is to create general computational models to support characters t...