![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Computer Security, Volume 9
Volume 9, Number 1/2, 2001
- Mei Lin Hui, Gavin Lowe:
Fault-Preserving Simplifying Transformations for Security Protocols. 3-46 - Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig:
Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. 47-74 - Peter Y. A. Ryan
, Steve A. Schneider:
Process Algebra and Non-Interference. 75-103 - Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. 105-142 - Catherine Meadows:
A Cost-Based Framework for Analysis of Denial of Service Networks. 143-164
Volume 9, Number 3, 2001
- Sushil Jajodia, Vijayalakshmi Atluri
, Thomas F. Keefe, Catherine D. McCollum, Ravi Mukkamala:
Multilevel Security Transaction Processing. 165-195 - Lawrence C. Paulson:
Relations Between Secrets: Two Formal Analyses of the Yahalom Protocol. 197-216 - 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
- Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati:
Global Infrastructure Protection System. 251-284 - Dwaine E. Clarke
, Jean-Emile Elien, Carl M. Ellison, Matt Fredette, Alexander Morcos, Ronald L. Rivest:
Certificate Chain Discovery in SPKI/SDSI. 285-322 - Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen:
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. 323-338
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.