637 search results - page 76 / 128 » Inconsistency-Tolerant Integrity Checking |
114
click to vote
AMAST
2000
Springer
15 years 6 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
177
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
108
click to vote
WETICE
1998
IEEE
15 years 6 months ago
1998
IEEE
We present an integrated secure group access control tool to support workgroups on the World-Wide Web. The system enables user authentication, encrypted communication and fine-gra...
130
click to vote
DBPL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
138
click to vote
CCS
1993
ACM
15 years 6 months ago
1993
ACM
NetCash is a framework that supports realtime electronic payments with provision of anonymity over an unsecure network. It is designed to enable new types of services on the Inter...