VLDB
2002
ACM
13 years 11 months ago
2002
ACM
The democratization of ubiquitous computing (access data anywhere, anytime, anyhow), the increasing connection of corporate databases to the Internet and the today's natural ...
ACSAC
1998
IEEE
14 years 3 months ago
1998
IEEE
A business's success depends on its ability to protect valuable business assets in an increasingly hostile environment. Protecting information requires a cost, not only in pu...
CCS
2003
ACM
14 years 4 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...