Ramesh Bharadwaj  Home/Search
Context
Related
| navy.mil/publicati...aradwajfaabs02.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: There is an increasing need, within organizations such as the Department of Defense and NASA, for building distributed applications that are rapidly re-configurable and survivable in the face of attacks and changing mission needs. Existing methods and tools are inadequate to deal with the multitude of challenges posed by application development for systems that may be distributed over multiple physical nodes separated by vast geographical distances. The problem is exacerbated in a hostile and... (Update)
Similar documents (at the sentence level):
15.4%: SOL: A Verifiable Synchronous Language for Reactive Systems - Bharadwaj (2002) (Correct)
12.7%: SINS: A Middleware for Autonomous Agents and Secure Code.. - Bharadwaj (2002) (Correct)
Active bibliography (related documents): More All
0.0: Requirements Interaction Management - Robinson, al. (1999) (Correct)
0.0: Automatic Model Driven Animation of SCR Specifications - Gargantini, Riccobene (2003) (Correct)
0.0: Program Synthesis from Requirements Specifications Using APTS - Leonard, Heitmeyer (2003) (Correct)
Similar documents based on text: More All
0.2: Applying the SCR Requirements Specification Method to.. - Bharadwaj, Heitmeyer (1996) (Correct)
0.2: High Assurance Computer Systems: A Research Agenda - McLean, Heitmeyer (1995) (Correct)
0.2: Formal Analysis of Domain Models - Bharadwaj (2002) (Correct)
BibTeX entry: (Update)
@misc{ bharadwaj-verifiable,
author = "Ramesh Bharadwaj",
title = "Verifiable Middleware for Secure Agent Interoperability",
url = "citeseer.ist.psu.edu/bharadwaj02verifiable.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
48 Using abstraction and model checking to detect safety violat.. (context) - Heitmeyer, Kirby et al. - 1998
48 Java Security: Present and near future - Gong - 1997
45 ACM Transactions on Information and System Security (context) - Schneider, policies - 2000
41 Model checking complete requirements specifications using ab.. - Bharadwaj, Heitmeyer - 1999
4 An infrastructure for secure interoperability of agents (context) - Bharadwaj - 2002
4 An infrastructure for secure interoperability of agents (context) - Bharadwaj
2 SOL: A verifiable synchronous language for reactive systems - Bharadwaj - 2002
1 SINS: a middleware for autonomous agents and secure code mob.. - Bharadwaj - 2002
1 Network-Centric Warfare: Its origin and future (context) - Cebrowski, Garstka - 1998
1 Network centric warfare (context) - Defense - 2001
Documents on the same site (http://chacs.nrl.navy.mil/publications/CHACS/2002/index2002.html): More
SINS: A Middleware for Autonomous Agents and Secure Code.. - Bharadwaj (2002) (Correct)
Program Synthesis from Requirements Specifications Using APTS - Leonard, Heitmeyer (2003) (Correct)
Proving Correctness of the Basic TESLA Multicast Stream.. - Archer (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