Research Catalog

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

Title: Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.).
Author: FASec 2002 (2002 : London, England)
Publication: Berlin ; New York : Springer, c2003.

Available Online

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-344	Offsite

Details

Additional Authors

Description

x, 238 p. : ill.; 25 cm.

Series Statement

Lecture notes in computer science ; 2629

Subjects

Bibliography (note)

Includes bibliographical references and index.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 04-344

ISBN

3540206930 (softcover : alk. paper)

LCCN

2003067370

OCLC

53896716

Conference

FASec 2002 (2002 : London, England)

Title

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.).

Imprint

Berlin ; New York : Springer, c2003.

Series

Lecture notes in computer science ; 2629

Bibliography

Includes bibliographical references and index.

Additional Formats

Also available via the World Wide Web.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Abdallah, Ali E., 1957-

Ryan, Peter, 1957-

Schneider, S. A. (Steve A.)

Research Call Number

JSE 04-344

View in Legacy Catalog