6137 search results - page 996 / 1228 » Securing Collaborative Applications |
127
click to vote
COOPIS
2000
IEEE
15 years 6 months ago
2000
IEEE
Given the undeniable popularity of the Web, providing efficient and secure access to remote databases using a Web browser is crucial for the emerging cooperative information system...
129
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
122
click to vote
SIGOPSE
2000
ACM
15 years 6 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
129
Voted
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
121
click to vote
ICTAI
1999
IEEE
15 years 6 months ago
1999
IEEE
Reliability, security, scalability and QoS (Quality-of-Service) have become key issues as we envision the future Internet. This paper presents the "Cognitive Packet Network (C...