福岡大学蔵書検索

検索結果一覧に戻る

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.)
(Lecture notes in computer science ; 2629)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	x, 238 p. : ill., port. ; 24 cm
別書名	背表紙タイトル:Formal aspects of security : FASec 2002 表紙タイトル:Formal aspects of security : first International Conference, FASec 2002 : London, UK, December 2002 : revised papers
著者標目	*International Conference on Formal Aspects of Security (FASec) (1st : 2002 : London, UK) Abdallah, Ali E., 1957- Ryan, Peter, 1957- Schneider, S. A. (Steve A.)
件　名	LCSH:Computer security -- Congresses 全ての件名で検索 LCSH:Formal methods (Computer science) -- Congresses 全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00678597

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/2629	0113290770100	9783540206934				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18-20 December 2002."--Pref. Includes bibliographical references and index
NCID	BA65231432
巻冊次	ISBN:3540206930

目次／あらすじ