01798oam 2200397zu 450 99620616330331620210807003532.010.1109/CSFW.1993(CKB)111026746737424(SSID)ssj0000558109(PQKBManifestationID)12197954(PQKBTitleCode)TC0000558109(PQKBWorkID)10559099(PQKB)10792273(NjHacI)99111026746737424(EXLCZ)9911102674673742420160829d1993 uy engur|||||||||||txtccrComputer Security Foundations Workshop VI[Place of publication not identified]IEEE Computer Society Press19931 online resource (224 pages)Bibliographic Level Mode of Issuance: Monograph0-8186-3950-4 The purpose of the annual Computer Security Foundations Workshop is to bring together researchers to explore fundamental issues in computer security. The emphasis is on formal models that provide a framework for theories of security, and techniques for verifying security as defined by these theories. This volume contains papers presented at the June 1993 Workshop held in Franconia, New Hampshire, as well as position papers for the panels. Topics include covert channel analysis, information flow, integrity and aggregation, access control, and crypto protocol analysis. No index. Annotation copyright by Book News, Inc., Portland, OR.Computer securityCongressesComputer securityCongresses.005.8PQKBBOOK996206163303316Computer Security Foundations Workshop VI2507912UNISA