5665 search results - page 969 / 1133 » Introduction to Computer Security |
120
click to vote
PADL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
114
click to vote
RAID
2001
Springer
15 years 7 months ago
2001
Springer
ed Credential Chain Discovery in Trust Management - Extended Abstract............................... 35 N. Li, W. Winsborough, and J. Mitchell System Health and Intrusion Monitorin...
101
Voted
FOCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Shannon [Sha48, Sha49] in celebrated works had shown that n bits of shared key is necessary and sufficient to transmit n-bit classical information in an information-theoretically ...
101
click to vote
SAC
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents XMARS, a programmable coordination architecture for Internet applications based on mobile agents. In XMARS, agents coordinate – both with each other and with...
131
click to vote
VRML
2000
ACM
15 years 7 months ago
2000
ACM
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite i...