A Practical Tool for Developing Trusted Applications

dc.contributor.author	Irvine, Cynthia E.
dc.contributor.author	Volpano, Dennis
dc.date.accessioned	2012-07-11T15:49:40Z
dc.date.available	2012-07-11T15:49:40Z
dc.date.issued	1995-12-00
dc.identifier.citation	Proceedings of the 11th Annual Computer Security Applications Conference, New Orleans, LA, pp. 190-195, December 1995
dc.identifier.uri	https://hdl.handle.net/10945/7178
dc.description.abstract	We introduce a tool we are developing that will allow designers of trusted applications to isolate those portions of a system where an information flow policy is being violated. The tool is a language-sensitive editor that checks a program for policy violations incrementally as the program is developed. What is novel about our approach is that the checking occurs as a form of type checking.	en_US
dc.publisher	Proceedings of the 11th Annual Computer Security Applications Conference	en_US
dc.rights	This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.	en_US
dc.title	A Practical Tool for Developing Trusted Applications	en_US
dc.type	Article	en_US
dc.contributor.department	Computer Science (CS)
dc.description.distributionstatement	Approved for public release; distribution is unlimited.

Related items