Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

Author： Bauer Lujo   Etalle Sandro   den Hartog Jerry   Viganò Luca  

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.46, Iss.3-4, 2011-04, pp. : 223-224

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Preface to the special issue on Security in global computing

By Priami Corrado  

International Journal of Information Security (IJIS), Vol. 2, Iss. 3-4, 2004-08 ,pp. : 125-125

Springer Publishing Company

Access to resources Recommend Favorite

Automated Reasoning for Security Protocol Analysis

By Armando Alessandro   Basin David   Cuellar Jorge   Rusinowitch Michaël   Viganò Luca  

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

By Linton S.   Sebastiani R.  

Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. : 239-239

Academic Press

Access to resources Recommend Favorite

Preface to the special issue on PKI

By Dawson E.  

International Journal of Information Security (IJIS), Vol. 2, Iss. 2, 2004-01 ,pp. : 65-65

Springer Publishing Company

Access to resources Recommend Favorite

Empirically Successful Automated Reasoning: Applications Issue

By Fischer Bernd   Sutcliffe Geoff   Schulz Stephan  

Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. : 1-1

Springer Publishing Company

Access to resources Recommend Favorite