Login / Signup
Paul E. Sevinç
Publication Activity (10 Years)
Years Active: 2006-2007
Publications (10 Years): 0
</>
Publications
</>
David A. Basin
,
Ernst-Rüdiger Olderog
,
Paul E. Sevinç
Specifying and analyzing security automata using CSP-OZ.
AsiaCCS
(2007)
Paul E. Sevinç
,
Mario Strasser
,
David A. Basin
Securing the Distribution and Storage of Secrets with Trusted Platform Modules.
WISTP
(2007)
Paul E. Sevinç
,
David A. Basin
,
Ernst-Rüdiger Olderog
Controlling Access to Documents: A Formal Access Control Model.
ETRICS
(2006)