Journal of Computer Security,volume 9,issue 1-2  (01-2001)

Period of time： 2001年1-2期

Publisher： Ios Press

Founded in： 1992

Total resources： 3

ISSN： 0926-227X

Subject： TP Automation Technology , Computer Technology

Favorite

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

Journal of Computer Security,volume 9,issue 1-2

Menu

Guest editor's preface

By in (2001)

Journal of Computer Security,volume 9,issue 1-2 , Vol. 9, Iss. 1-2, 2001-01 , pp. 1-2

Ios Press

Abstract Access to resources Recommend Favorite

Fault-preserving simplifying transformations for security protocols: Not Just the Needham Schroeder Public Key Protocol

By Hui M.L. in (2001)

Journal of Computer Security,volume 9,issue 1-2 , Vol. 9, Iss. 1-2, 2001-01 , pp. 3-46

Ios Press

Abstract Access to resources Recommend Favorite

Athena: a novel approach to efficient automatic security protocol analysis

By Song D.X. in (2001)

Journal of Computer Security,volume 9,issue 1-2 , Vol. 9, Iss. 1-2, 2001-01 , pp. 47-74

Ios Press

Abstract Access to resources Recommend Favorite

Process algebra and non-interference

By Ryan P.Y.A. in (2001)

Journal of Computer Security,volume 9,issue 1-2 , Vol. 9, Iss. 1-2, 2001-01 , pp. 75-103

Ios Press

Abstract Access to resources Recommend Favorite

A logic for SDSI's linked local name spaces

By Halpern J.Y. in (2001)

Journal of Computer Security,volume 9,issue 1-2 , Vol. 9, Iss. 1-2, 2001-01 , pp. 105-142

Ios Press

Abstract Access to resources Recommend Favorite

A cost-based framework for analysis of denial of service in networks

By Meadows C. in (2001)

Journal of Computer Security,volume 9,issue 1-2 , Vol. 9, Iss. 1-2, 2001-01 , pp. 143-164

Ios Press

Abstract Access to resources Recommend Favorite

Total 6 item(s)