Verifiable Middleware for Secure Agent Interoperability


There is an increasing need, within organizations such as the Department of Defense and NASA, for building distributed applications that are rapidly re-con gurable 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… (More)
DOI: 10.1007/978-3-540-45133-4_11