FMSE '06: Proceedings of the fourth ACM workshop on Formal methods in security | 東京工業大学附属図書館蔵書検索

Blank Cover Image

FMSE '06: Proceedings of the fourth ACM workshop on Formal methods in security / 13th ACM Conference on Computer and Communications Security 2006, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
ACM

著者名:

ISBN:

9781595935502 [1595935509]

書誌ID:

OB00222992

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	FMSE '06
主題:	Information Technology - Computer Science (Hardware & Networks)
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック FMSE '04: Proceedings of the 2004 ACM workshop on Formal methods in security engineering ACM Workshop on Formal Methods in Security Engineering, Association for Computing Machinery-Digital Library., … ACM Digital Library Proceedings, ACM	7 電子ブック ASIACCS '06: Proceedings of the 2006 ACM Symposium on Information, computer and communications security ACM Symposium on Information, Computer and Communications Security 2006, Association for Computing Machinery-Digital … ACM Digital Library Proceedings, ACM
2 電子ブック CCS '06: Proceedings of the 13th ACM conference on Computer and communications security 13th ACM Conference on Computer and Communications Security 2006, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	8 電子ブック CCS '97: Proceedings of the 4th ACM conference on Computer and communications security Graveman, Richard, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
3 電子ブック FMSE '03: Proceedings of the 2003 ACM workshop on Formal methods in security engineering ACM Workshop on Formal Methods in Security Engineering, Backes, Michael, Basin, David, Waidner, Michael, Association for … ACM Digital Library Proceedings, ACM	9 電子ブック CCS '98: Proceedings of the 5th ACM conference on Computer and communications security Gong, Li, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
4 電子ブック FMSE '05: Proceedings of the 2005 ACM workshop on Formal methods in security engineering ACM Workshop on Formal Methods in Security Engineering, Küsters, Ralf, Mitchell, John C., Association for Computing … ACM Digital Library Proceedings, ACM	10 電子ブック CCS '99: Proceedings of the 6th ACM conference on Computer and communications security Motiwalla, Juzar, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
5 電子ブック FMSE '07: Proceedings of the 2007 ACM workshop on Formal methods in security engineering 14th ACM Conference on Computer and Communications Security 2007, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	11 電子ブック CCS '07: Proceedings of the 14th ACM conference on Computer and communications security Ning, Peng, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
6 電子ブック FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering 15th ACM Conference on Computer and Communications Security 2008, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM	12 電子ブック Proceedings of the 18th ACM conference on Computer and communications security Chen, Yan, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM

1

2

3

4

5

6

7

8

9

10

11

12