ePrints

Formal methods for security - Overview

Lookup NU author(s): Professor Peter Ryan

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Gong L, Guttmann J, Ryan P, Schneider S, Bux W

Publication type: Editorial

Publication status: Published

Journal: IEEE Journal on Selected Areas in Communications

Year: 2003

Volume: 21

Issue: 1

Pages: 1-4

ISSN (print): 0733-8716

ISSN (electronic):

Publisher: IEEE

URL: http://dx.doi.org/10.1109/JSAC.2002.806120

DOI: 10.1109/JSAC.2002.806120

Share