The Theory and Practice of Concurrency
| Example Files on Computer Security
This page gives access to example files related to this book on security additional to those provided in the sets of examples accompanying Chapters 12 and 15. Each of the following is a paper or thesis together with accompanying file(s). Lars Wulf's thesis Interaction and security in distributed computing as a postscript file and directory of examples and tarfile of the examples Bill Roscoe's paper Intensional specifications of security protocols as a postscript file and directory of examples and tarfile of the examples Bill Roscoe's paper Proving security protocols with model checkers by data independence techniques as a postscript file and directory of examples and tarfile of the examples Ranko Lazic and Bill Roscoe's paper Verifying determinism of concurrent systems which use unbounded arrays as a postscript file and example file. Return to Book home page |