703 search results - page 93 / 141 » A Framework for Outsourcing of Secure Computation |
VIZSEC
2005
Springer
15 years 3 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
WETICE
1997
IEEE
15 years 1 months ago
1997
IEEE
In this paper we want to share our experiences with implementing a scheme that enforces role based access control in a distributed, heterogeneous computing environment. This work ...
102
click to vote
ATC
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
MSCS
2008
14 years 9 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...