6th ACM workshop on formal methods in security engineering (FMSE 2008), Alexandria, Virginia, USA, 27 October 2008 | 東京工業大学附属図書館資料名データベース

Blank Cover Image

6th ACM workshop on formal methods in security engineering (FMSE 2008), Alexandria, Virginia, USA, 27 October 2008

シリーズ名:: ACM Conference Proceedings
シリーズ巻号:: FMSE 2008
出版情報:: New York: Association for Computing Machinery, 2008
ISBN:: 9781605608990 [1605608998]
請求記号:: A04533/2008
資料種別:: 国際会議録

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00059901
シリーズＩＤ:	PA00000044
会議名:	ACM workshop on formal methods in security engineering : FMSE
回次:	6th
会議開催地:	Alexandria, VA, USA
会議開催年:	2008.10.27

類似資料:

1 国際会議録 4th ACM workshop on formal methods in security engineering : FMSE '06 : held in conjunction with the 13th ACM conference on computer and communications … Association for Computing Machinery	7 国際会議録 7th ACM workshop on privacy in the electronic society (WPES 2008), Alexandria, Virginia, USA, 27 October 2008 Association for Computing Machinery
2 国際会議録 FMSE'07 : proceedings of the 2007 ACM workshop on formal methods in security engineering, Fairfax, Virginia, USA, November 2, 2007 Association for Computing Machinery	8 国際会議録 8th ACM workshop on digital rights management (ACM DRM 08), Alexandria, Virginia, USA, 27 October 2008 Association for Computing Machinery
3 国際会議録 FMSE'05 : proceedings of the 2005 ACM workshop on formal methods in security engineering : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005 Association for Computing Machinery	9 国際会議録 CCS '08 : proceedings of the 15th ACM Conference on Computer and Communications Security : Alexandria, Virginia, USA, October 27-31, 2008 Association for Computing Machinery
4 国際会議録 FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA , October 30, 2003, co-located with CCS'03 Association for Computing Machinery	10 国際会議録 1st ACM Workshop on AISec (AISec 2008), Alexandria, Virginia, USA, 27 October 2008 Association for Computing Machinery
5 国際会議録 FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA , October 29, 2004, co-located with CCS 2004 Association for Computing Machinery	11 国際会議録 4th ACM workshop on security of ad hoc and sensor networks : SASN '06 : held at the 13th ACM conference on computer and communications security : October … Association for Computing Machinery
6 国際会議録 4th ACM Workshop on Quality of Protection (QoP 2008) : Alexandria, Virginia, USA, 27 October 2008 Association for Computing Machinery	12 国際会議録 4th ACM Workshop on Recurring Malcode : WORM '06 : held at the 13th ACM Conference on Computer and Communications Security, October 30-November 3, 2006, … Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12