Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Schneider, S. A. (Steve A.)"
Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2629Item details Format Call Number Item Location Text JSE 04-344 Offsite The modelling and analysis of security protocols : the CSP approach / P.Y.A. Ryan and S.A. Schneider with M.H. Goldsmith, G. Lowe and A.W. Roscoe.
- Text
- Harlow ; New York : Addison-Wesley, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A25 R93 2001 Off-site Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.).
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A25 F35 2002 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta