R. Bharadwaj et al. An infrastructure for secure interoperability of agents. In Proc. Sixth World Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, July 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
SINS: A Middleware for Autonomous Agents and Secure Code.. - Bharadwaj (2002) (Correct)
....at a given host. 4.6 Agent Protection from Malicious Hosts As we mentioned before, SINS agents are currently not fully protected from a malicious host. However, the likelihood of agent corruption by a host is minimized by the introduction of a special class of agents called security agents [2] that police other agents such as application agents developed to support a given distributed application. Security agents protect a system against Information Operation (IO) attacks by implementing key security features such as encryption, authorization, policy enforcement, virus checking, and ....
R. Bharadwaj et al. An infrastructure for secure interoperability of agents. In Proc. Sixth World Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, July 2002.
Verifiable Middleware for Secure Agent Interoperability - Bharadwaj (2002) Self-citation (Bharadwaj) (Correct)
....function, hosts can ensure that an agent is always in a safe state. Senders have control over which hosts have the authority to execute an agent. 4 A Brief Introduction to SOL Agents are created in a special purpose synchronous programming language called Secure Operations Language (SOL) [2, 4, 1]. A SOL application comprises a set of agent modules, each of which runs on a given host. The host executes an agent module in compliance with a set of locally enforced security policies. A SOL multi agent system may run on one or more hosts, spanning multiple networks and multiple administrative ....
R. Bharadwaj et al. An infrastructure for secure interoperability of agents. In Proc. Sixth World Multiconference on Systemics, Cybernetics, and Informatics, Orlando, Florida, July 2002.
Verifiable Middleware for Secure Agent Interoperability - Bharadwaj (2002) Self-citation (Bharadwaj) (Correct)
....conditional expression and the case expression may optionally have an otherwise clause with the obvious meaning. 5 Enforcement Automata In this section, we shall examine how enforceable safety and security policies [11] are expressed in SOL as enforcement automata (also known as security agents [3]) The enforcement mechanism of SOL works by terminating all executions of a program for which the policy being enforced no longer holds. For reasons of readability and maintainability, we prefer to use explicit automata for enforcing safety properties and security policies, although any language ....
R. Bharadwaj. An infrastructure for secure interoperability of agents. Technical report, Naval Research Laboratory, Washington, DC, To appear.
SOL: A Verifiable Synchronous Language for Reactive Systems - Bharadwaj (2002) (1 citation) Self-citation (Bharadwaj) (Correct)
....of induction and a set of optimized heuristics enable Salsa to combat the state explosion problem that plagues current model checkers. More recently, we have been investigating the problem of building secure distributed applications over the infrastructure of the Internet and the World Wide Web [3]. It is widely acknowledged that intelligent software agents are central to the development of the capabilities required to build robust, re configurable, and survivable distributed applications. However, agents technology carries with it the risk of security vulnerabilities such as denial of ....
....is a problem or will have to prove additional invariants as lemmas in order to prove the original invariant. 6 Enforcement Automata In this section, we shall examine how enforceable safety and security policies [23] are expressed in SOL as enforcement automata (also known as security agents [3]) The enforcement mechanism of SOL works by terminating all executions of a program for which the policy being enforced no longer holds. For reasons of readability and maintainability, we prefer to use explicit automata for enforcing deterministic reactive module safestack(integer maxdepth) ....
R. Bharadwaj. An infrastructure for secure interoperability of agents. Technical report, Naval Research Laboratory, Washington, DC, To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC