Home Advanced Search

Advanced Search - Page 1

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.)
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Stefano Bistarelli, Marco Dall’Aglio (auth.), Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider (eds.)
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
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
The Public Intellectualism of Ralph Waldo Emerson and W.E.B. Du Bois: Emotional Dimensions of Race and Reform
  • PDF
  • English
  • Year: 2010
  • Author: Ryan Schneider (auth.)
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
  • PDF
  • English
  • Year: 2005
  • Author: Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (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
Modelling & Analysis of Security Protocols
  • PDF
  • English
  • Year: 2000
  • Author: Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, Bill Roscoe
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, Jan Vytopil (eds.)
p-Adic Lie Groups
  • PDF
  • English
  • Year: 2011
  • Author: Peter Schneider (auth.)
search