Secure Agents
| dc.contributor.author | Bonatti, Piero | en_US |
| dc.contributor.author | Kraus, Sarit | en_US |
| dc.contributor.author | Subrahmanian, V. S. | en_US |
| dc.date.accessioned | 2004-05-31T23:00:03Z | |
| dc.date.available | 2004-05-31T23:00:03Z | |
| dc.date.created | 1999-10 | en_US |
| dc.date.issued | 1999-10-07 | en_US |
| dc.description.abstract | With the rapid proliferation of software agents, there comes an increased need for agents to ensure that they do not provide data and/or services to unauthorized users. We first develop an abstract definition of what it means for an agent to preserve data/action security. Most often, this requires an agent to have knowledge that is impossible to acquire --- hence, we then develop approximate security checks that take into account, the fact that an agent usually has incomplete/approximate beliefs about other agents. We develop two types of security checks --- static ones that can be checked prior to deploying the agent, and dynamic ones that are executed at run time. We prove that a number of these problems are undecidable, but under certain conditions, they are decidable and (our definition of) security can be guaranteed. Finally, we propose a language within which the developer of an agent can specify her security needs, and present provably correct algorithms for static/dynamic security verification. (Also cross-refernced as UMIACS-TR-99-62) | en_US |
| dc.format.extent | 564495 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/1036 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-4068 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-99-62 | en_US |
| dc.title | Secure Agents | en_US |
| dc.type | Technical Report | en_US |