東京都立大学図書館

Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers

Gilles Barthe ... [et al.] (eds.). -- Springer, 2005. -- (Lecture notes in computer science ; 3362). <BB00925459>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 数理科学 理:数理科学図書室 シリーズ 10000232720 /549/L49c/3362 0件
No. 0001
巻号
所蔵館 数理科学
配置場所 理:数理科学図書室 シリーズ
資料ID 10000232720
請求記号 /549/L49c/3362
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers / Gilles Barthe ... [et al.] (eds.)
出版・頒布事項 Berlin : Springer , c2005
形態事項 vi, 256 p. : ill. ; 24 cm
巻号情報
ISBN 3540242872
書誌構造リンク Lecture notes in computer science <BB00769733> 3362//a
その他の標題 背表紙タイトル:CASSIS 2004
注記 Includes bibliographical references and index
注記 "Hot Topics"--On Cover
学情ID BA70631178
本文言語コード 英語
著者標目リンク *Construction and Analysis of Safe, Secure, and Interoperable Smart Devices <AU00544309>
著者標目リンク Barthe, Gilles, 1967- <AU00544304>
著者標目リンク Burdy, Lilian <AU00544305>
著者標目リンク Huisman, Marieke <AU00544306>
著者標目リンク Lanet, Jean-Louis <AU00544307>
著者標目リンク Muntean, Traian <AU00544308>
分類標目 LCC:TK7895.S62
分類標目 DC22:332.1/78
件名標目等 Smart cards -- Security measures -- Congresses
件名標目等 Data transmission systems -- Security measures -- Congresses