6137 search results - page 996 / 1228 » Securing Collaborative Applications |
174
click to vote
COOPIS
2000
IEEE
15 years 10 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...
184
click to vote
NDSS
2000
IEEE
15 years 10 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...
169
Voted
SIGOPSE
2000
ACM
15 years 10 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, ...
163
Voted
CADE
2000
Springer
15 years 10 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 ...
175
click to vote
ICTAI
1999
IEEE
15 years 10 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...