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

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.)

Berlin ; Tokyo : Springer, c2003

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.08-L49-2629

10003311690

一般図書

詳細情報

刊年

2003

形態

x, 238 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2629

注記

Includes bibliographical references and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

FASec [ International Conference, Formal Aspects of Security ]

Abdallah, Ali E., 1957-

Ryan, Peter, 1957-

Schneider, S. A. (Steve A.)

件名

Computer security -- Congresses

Formal methods (Computer science) -- Congresses

ISBN

3540206930

NCID

BA65231432