Oliver Bremer

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi
Integrating Logics and Process Calculi for Cryptographic Protocol Analysis. SEC (2003)
Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi
Formal Analysis of E-Commerce Protocols. ISADS (2001)
Pablo Galiasso, Oliver Bremer, John Hale, Sujeet Shenoi, David F. Ferraiolo, Vincent C. Hu
Policy Mediation for Multi-Enterprise Environments. ACSAC (2000)
John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi
Extending Java for Package based Access Control. ACSAC (2000)
Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi
Simulation and Analysis of Cryptographic Protocols. DBSec (2000)