🚀 go-pugleaf

			   CALL FOR PAPERS
		COMPUTER SECURITY FOUNDATIONS WORKSHOP VI
			  June 15-17, 1993
		     Franconia, New Hampshire
		Sponsored by the IEEE Computer Society

The purpose of this workshop is to bring together researchers in computer
science to examine foundational issues in computer security, with
emphasis on formal models that provide a framework for theories of
security and techniques for verifiying security as defined by these theories.

We are interested both in papers that describe new results in the theory
of computer security and in papers, panels, and working group exercises that
explore open questions and raise fundamental concerns about current
theories of security. Possible topics include access control, covert channels,
information flow, database security, secure protocols, verification techniques,
integrity and availability models, interactions of computer security 
requirements with other system requirements such as dependability and timing,
and the role of formal methods in computer security.

The proceedings are published by the IEEE Computer Society and will be available
at the workshop. Selected papers will be invited for publication in a 
special issue of the Journal of Computer Security.


Instructions for Participants:  Workshop attendance will be limited to 
thirty-five participants.  Prospective participants should send four copies
of a paper (limit 7500 words), panel proposal, or working group exercise to 
Catherine Meadows, Program Chair, at the address below. Please provide email
addresses and telephone numbers (voice and fax) for all authors.
The contact author should be clearly identified.


IMPORTANT DATES: Author's submission:        January 29, 1993
                 Notification of acceptance: March 10, 1993
                 Camera-ready final papers:  April 9, 1993


Program Committee

Marshall Abrams, MITRE			John Mclean, NRL
Simon Foley, University College, Cork	Jonathan Millen, MITRE	
Li Gong, ORA				Robert Morris, DoD
James Gray, NRL				Ravi Sandhu, GMU
Jeremy Jacob, Oxford			Marv Schaefer, CTA


For further information contact:

General Chair
Ravi S. Sandhu 
ISSE Department 
George Mason University 
Fairfax, VA 22030-4444 
+1 703-993-1659
sandhu@sitevax.gmu.edu

Program Chair
Catherine Meadows
Code 5543
Naval Research Laboratory
Washington, DC 20375
+1 202-767-3490
meadows@itd.nrl.navy.mil

Publications Chair
Joshua Guttman
The MITRE Corporation
Burlington Road
Bedford, MA 01730
+1 617-271-2654
guttman@linus.mitre.org