Mendeley出力
＜図書＞
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.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 3362 |
| データ種別 | 図書 |
| 出版情報 | Berlin : Springer , c2005 |
| 本文言語 | 英語 |
| 大きさ | vi, 256 p. : ill. ; 24 cm |
| 概要 | This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marsei...le, France inMarch 2004. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machinetechnologies, secure platforms, security, application validation, verification, and formal modeling and formal methods. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6977661 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 2005 |
|
061212005000606 |
|
書誌詳細
| 別書名 | 背表紙タイトル:CASSIS 2004 |
|---|---|
| 一般注記 | Includes bibliographical references and index "Hot Topics"--On Cover |
| 著者標目 | *Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2004 : Marseille, France) Barthe, Gilles, 1967- Burdy, Lilian Huisman, Marieke Lanet, Jean-Louis Muntean, Traian |
| 件 名 | LCSH:Smart cards -- Security measures -- Congresses
全ての件名で検索
LCSH:Data transmission systems -- Security measures -- Congresses 全ての件名で検索 |
| 分 類 | LCC:TK7895.S62 DC22:332.1/78 |
| 書誌ID | 1001284519 |
| ISBN | 3540242872 |
| NCID | BA70631178 |
| 巻冊次 | ISBN:3540242872 |
| 登録日 | 2009.09.18 |
| 更新日 | 2017.02.18 |