653 search results - page 58 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Security in the access to web contents and the interaction with web sites is becoming one of the most important issues in Internet. Servers need to provide certain levels of secur...
PODS
2005
ACM
14 years 9 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
SAC
2000
ACM
14 years 1 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
JIPS
2007
13 years 9 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...
CCS
2006
ACM
14 years 24 days ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...