R. Bharadwaj  Home/Search
Context Related
| navy.mil/publicati...bharadwajsemas.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: navy.mil/publications...index2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ramesh Bharadwaj Center for High Assurance Computer Systems Naval Research Laboratory Washington, DC, 20375-5320 USA ramesh@itd.nrl.navy.mil 1. (Update)
Context of citations to this paper: More
.... 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...
Cited by: More
Verifiable Middleware for Secure Agent Interoperability - Bharadwaj (2002) (Correct)
Similar documents (at the sentence level):
16.6%: SOL: A Verifiable Synchronous Language for Reactive Systems - Bharadwaj (2002) (Correct)
Active bibliography (related documents): More All
0.1: Applying Practical Formal Methods to the Specification And.. - Heitmeyer (2001) (Correct)
0.1: Program Synthesis from Requirements Specifications Using APTS - Leonard, Heitmeyer (2003) (Correct)
0.1: Formal Analysis of Domain Models - Bharadwaj (2002) (Correct)
Similar documents based on text: More All
0.3: Applying the SCR Requirements Specification Method to.. - Bharadwaj, Heitmeyer (1996) (Correct)
0.3: Model Checking Complete Requirements Specifications Using.. - Bharadwaj, Heitmeyer (1999) (Correct)
0.2: Verifying SCR Requirements Specifications Using State.. - Bharadwaj, Heitmeyer (1997) (Correct)
Related documents from co-citation: More All
2: An infrastructure for secure interoperability of agents (context) - Bharadwaj - 2002
BibTeX entry: (Update)
R. Bharadwaj. SINS: a middleware for autonomous agents and secure code mobility. In Proc. Second International Workshop on Security of Moble Multi-Agent Systems (SEMAS-02), First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02), Bologna, Italy, July 2002. http://citeseer.ist.psu.edu/bharadwaj02sins.html More
@misc{ bharadwaj02sins,
author = "R. Bharadwaj",
title = "SINS: a middleware for autonomous agents and secure code mobility",
text = "R. Bharadwaj. SINS: a middleware for autonomous agents and secure code
mobility. In Proc. Second International Workshop on Security of Moble Multi-Agent
Systems (SEMAS-02), First International Joint Conference on Autonomous Agents
and Multi-Agent Systems (AAMAS'02), Bologna, Italy, July 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/bharadwaj02sins.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
66 Enforceable security policies - Schneider - 2000 ACM DBLP
53 Security for mobile agents: Issues and requirements (context) - Farmer - 1996
9 Salsa: Combining constraint solvers with BDDs for automatic .. - Bharadwaj, Sims - 2000 DBLP
4 An infrastructure for secure interoperability of agents (context) - Bharadwaj - 2002
2 SOL: A verifiable synchronous language for reactive systems - Bharadwaj - 2002 DBLP
1 Inter-agent protocol for distributed SOL processing (context) - Tressler - 2002
Documents on the same site (http://chacs.nrl.navy.mil/publications/CHACS/2002/index2002.html): More
Program Synthesis from Requirements Specifications Using APTS - Leonard, Heitmeyer (2003) (Correct)
Proving Correctness of the Basic TESLA Multicast Stream.. - Archer (2002) (Correct)
Proving invariants of I/O automat with TAME - Archer, Heitmeyer, Riccobene (2002) (Correct)
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