Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers. : Dec 2002, London, UK. (Lecture Notes in Computer Science ; 2629)

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

(Lecture Notes in Computer Science ; 2629)

Call No. (NDL): M17-04-2991
Bibliographic ID of National Diet Library: 000007412287

Material type: 図書

Author: British Computer Society. Formal Aspects of Computing Science Specialist Group.ほか

Publisher: Springer-Verlag

Publication date: c2003.

Material Format: Paper

Capacity, size, etc.: x, 238 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and revised papers.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540206930
ISSN (series): 0302-9743
Title: Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers. : Dec 2002, London, UK.
Series Title: Lecture Notes in Computer Science ; 2629
Author Heading: British Computer Society. Formal Aspects of Computing Science Specialist Group.
Abdallah, Ali E., 1957-
Ryan, Peter, 1957-
Schneider, S. A. (Steve A.)
FASec 2002 (2002 : London, England)
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: c2003.
Publication Date (W3CDTF): 2003
Extent: x, 238 p. : ill. ; 24 cm.
Alternative Title: Formal aspects of security : 1st international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer security -- Congresses.
Formal methods (Computer science) -- Congresses.
LCC: QA76.9.A25
DDC: 005.8
NDLC: M17
Note (General): An abstract and revised papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-04-2991
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007412287
http://id.ndl.go.jp/bib/000007412287
LC Control Number: 2003067370
https://lccn.loc.gov/2003067370
RLIN No.: CTYA6474880-B
Bibliographic Record Category (NDL): 215