default search action

combined dblp search
author search
venue search
publication search

Journal of Computer Security, Volume 9

> Home > Journals > Journal of Computer Security

Volume 9, Number 1/2, 2001

- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/HuiL01
- ask others
Mei Lin Hui, Gavin Lowe:
Fault-Preserving Simplifying Transformations for Security Protocols. 3-46
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/SongBP01
- ask others
Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig:
Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. 47-74
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/RyanS01
- ask others
Peter Y. A. Ryan, Steve A. Schneider:
Process Algebra and Non-Interference. 75-103
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/HalpernM01
- ask others
Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. 105-142
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/Meadows01
- ask others
Catherine Meadows:
A Cost-Based Framework for Analysis of Denial of Service Networks. 143-164

Volume 9, Number 3, 2001

- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/JajodiaAKMM01
- ask others
Sushil Jajodia, Vijayalakshmi Atluri, Thomas F. Keefe, Catherine D. McCollum, Ravi Mukkamala:
Multilevel Security Transaction Processing. 165-195
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/Paulson01
- ask others
Lawrence C. Paulson:
Relations Between Secrets: Two Formal Analyses of the Yahalom Protocol. 197-216
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/BessonJM01
- ask others
Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer:
Model Checking Security Properties of Control Flow Graphs. 217-250

Volume 9, Number 4, 2001

- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/VimercatiLRS01
- ask others
Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati:
Global Infrastructure Protection System. 251-284
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/ClarkeEEFMR01
- ask others
Dwaine E. Clarke, Jean-Emile Elien, Carl M. Ellison, Matt Fredette, Alexander Morcos, Ronald L. Rivest:
Certificate Chain Discovery in SPKI/SDSI. 285-322
- view
  - electronic edition @ metapress.com
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/jcs/WrightLM01
- ask others
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen:
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. 323-338