Paul E. Sevinç

	2007
3		David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç: Specifying and analyzing security automata using CSP-OZ. ASIACCS 2007: 70-81
2		Paul E. Sevinç, Mario Strasser, David A. Basin: Securing the Distribution and Storage of Secrets with Trusted Platform Modules. WISTP 2007: 53-66
	2006
1		Paul E. Sevinç, David A. Basin, Ernst-Rüdiger Olderog: Controlling Access to Documents: A Formal Access Control Model. ETRICS 2006: 352-367

Coauthor Index

1	David A. Basin	[1] [2] [3]
2	Ernst-Rüdiger Olderog	[1] [3]
3	Mario Strasser	[2]