1286 search results - page 19 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
KDD
2004
ACM
14 years 8 months ago
2004
ACM
Reluctance of data owners to share their possibly confidential or proprietary data with others who own related databases is a serious impediment to conducting a mutually beneficia...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
GCC
2003
Springer
14 years 22 days ago
2003
Springer
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
SP
1987
IEEE
13 years 11 months ago
1987
IEEE
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...