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 | 東京工業大学附属図書館資料名データベース

Blank Cover Image

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

責任表示:: edited by Michael Backes, David Basin & Michael Waidner ; sponsored by ACM SIGSAC
シリーズ名:: ACM Conference Proceedings
シリーズ巻号:: FMSE 2003
出版情報:: New York: Association for Computing Machinery, 2003
ISBN:: 9781581137811 [1581137818]
請求記号:: A04533/2003
資料種別:: 国際会議録

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00059896
シリーズＩＤ:	PA00000044
会議名:	ACM Workshop on Formal Methods in Security Engineering : FMSE
回次:	1st
会議開催地:	Washington, DC, USA
会議開催年:	2003.10.30

類似資料:

1 国際会議録 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	7 国際会議録 6th ACM workshop on formal methods in security engineering (FMSE 2008), Alexandria, Virginia, USA, 27 October 2008 Association for Computing Machinery
2 国際会議録 WPES'03 : proceedings of the 2003 ACM Workshop on Privacy in the Electronic Society : Washington, DC, USA , October 30, 2003, co-located with CCS'03 Association for Computing Machinery	8 国際会議録 DRM'04 : proceedings of the fourth ACM workshop on digital rights management, Washington, DC, USA October 25, 2004, co-located with CCS 2004 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 国際会議録 WPES '04 : proceedings of the 2004 ACM Workshop on Privacy in the Electronic Society : Washington, DC, USA, October 28, 2004 : co-located with CCS 2004 Association for Computing Machinery
4 国際会議録 DRM 2003 : proceedings of the Third ACM Workshop on Digital Rights Management, Washington, DC, USA, October 27, 2003, co-located with CCS 2003 Association for Computing Machinery	10 国際会議録 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
5 国際会議録 VizSEC/DMSEC '04 : proceedings of the 2004 ACM Workshop on Visualization and Data Mining for Computer Security, Washington, DC, USA, October 29, 2004, … Association for Computing Machinery	11 国際会議録 FMSE'07 : proceedings of the 2007 ACM workshop on formal methods in security engineering, Fairfax, Virginia, USA, November 2, 2007 Association for Computing Machinery
6 国際会議録 WORM '03 : proceedings of the 2003 ACM Workshop on Rapid Malcode, Washington, DC, USA, October 27, 2003, colocated with CCS 2003 Association for Computing Machinery	12 国際会議録 CCS 2003 : Proceedings of the 10th ACM Conference on Computer and Communications Security ; Washington, DC, USA October 27-31, 2003 Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12