Home Advanced Search

Advanced Search - Page 1

Concurrent and real time systems: the CSP approach
  • DJVU
  • English
  • Year: 1999
  • Author: Schneider, Steve
Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Liqun Chen, Mark Manulis, Steve Schneider
Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
  • PDF
  • English
  • Year: 2019
  • Author: Kazue Sako, Steve Schneider, Peter Y. A. Ryan
Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
  • PDF
  • English
  • Year: 2019
  • Author: Kazue Sako, Steve Schneider, Peter Y. A. Ryan
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Fred B. Schneider (auth.), Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.)
Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider (eds.)
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)
Modelling & Analysis of Security Protocols
  • PDF
  • English
  • Year: 2000
  • Author: Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, Bill Roscoe
Under Pressure: Coal Industry Rhetoric and Neoliberalism
  • PDF
  • English
  • Year: 2016
  • Author: Jen Schneider, Steve Schwarze, Peter K. Bsumek, Jennifer Peeples (auth.)
search