Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001
DBLP:	db/conf/fosad/fosad2000.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 6 of 6  

Select a publication
Show	Title	Venue	Rating	Date
	Riccardo Focardi, Roberto Gorrieri. Classification of Security Properties (Part I: Information Flow).	Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001	(0)	2000
	Andrew D. Gordon. Notes on Nominal Calculi for Security and Mobility.	Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001	(0)	2000
	Joshua D. Guttman. Security Goals: Packet Trajectories and Strand Spaces.	Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001	(0)	2000
	Peter Y. A. Ryan. Mathematical Models of Computer Security.	Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001	(0)	2000
	Pierangela Samarati, Sabrina De Capitani di Vimercati. Access Control: Policies, Models, and Mechanisms.	Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001	(0)	2000
	Paul F. Syverson, Iliano Cervesato. The Logic of Authentication Protocols.	Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001	(0)	2000

Your query returned 6 matches in the database.