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

>> Google Books

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., Association for Computing Machinery.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
ACM

著者名:

ISBN:

9781581139716 [1581139713]

書誌ID:

OB00222574

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

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

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック 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	7 電子ブック NSPW '04: Proceedings of the 2004 workshop on New security paradigms Raskin, Victor, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
2 電子ブック 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	8 電子ブック VizSEC/DMSEC '04: Proceedings of the 2004 ACM workshop on Visualization and data mining for computer security ACM Workshop on Visualization and Data Mining for Computer Security, Association for Computing Machinery-Digital … ACM Digital Library Proceedings, ACM
3 電子ブック 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	9 電子ブック WiSe '04: Proceedings of the 3rd ACM workshop on Wireless security Jakobsson, Markus, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
4 電子ブック 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	10 電子ブック WORM '04: Proceedings of the 2004 ACM workshop on Rapid malcode ACM Workshop on Rapid Malcode, Association for Computing Machinery-Digital Library., Association for Computing … ACM Digital Library Proceedings, ACM
5 電子ブック 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	11 電子ブック DocEng '04: Proceedings of the 2004 ACM symposium on Document engineering ACM Symposium on Document Engineering, Munson, Ethan V., Vion-Dury, Jean-Yves, Association for Computing … ACM Digital Library Proceedings, ACM
6 電子ブック WISER '04: Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research ACM Workshop on Interdisciplinary Software Engineering Research, ACM Sigsoft., Association for Computing … ACM Digital Library Proceedings, ACM	12 電子ブック MM&Sec '04: Proceedings of the 2004 workshop on Multimedia and security Multimedia and Security Workshop, Dittmann, Jana, Fridrich, Jessica, Association for Computing Machinery-Digital … ACM Digital Library Proceedings, ACM

1

2

3

4

5

6

7

8

9

10

11

12