FMSE'07 : proceedings of the 2007 ACM workshop on formal methods in security engineering, Fairfax, Virginia, USA, November 2, 2007 | 東京工業大学附属図書館資料名データベース

Blank Cover Image

FMSE'07 : proceedings of the 2007 ACM workshop on formal methods in security engineering, Fairfax, Virginia, USA, November 2, 2007

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

巻号一覧

Loading volume number list

詳細

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

類似資料:

1 国際会議録 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	7 国際会議録 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
2 国際会議録 CSAW '07 : proceedings of the 2007 ACM Computer Security Architecture Workshop : Fairfax, Virginia, USA, November 2, 2007 Association for Computing Machinery	8 国際会議録 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
3 国際会議録 6th ACM workshop on formal methods in security engineering (FMSE 2008), Alexandria, Virginia, USA, 27 October 2008 Association for Computing Machinery	9 国際会議録 STC'07 : proceedings of the 2007 ACM Workshop on Scalable Trusted Computing, Alexandria, Virginia, USA, November 2, 2007 Association for Computing Machinery
4 国際会議録 SWS'07 : proceedings of the 2007 ACM Workshop on Secure Web Services, Fairfax, Virginia, USA, November 2, 2007 Association for Computing Machinery	10 国際会議録 2nd Workshop on Automated Formal Methods : AMF 07, at ASE 07, November 6, 2007, Atlanta, Georgia, USA Association for Computing Machinery
5 国際会議録 DIM'07 : proceedings of the 2007 ACM Workshop on Digital Identity Management, Fairfax, Virginia, USA, November 2, 2007 Association for Computing Machinery	11 国際会議録 SIGAda'07 : proceedings of the 2007 ACM SIGAda Annual International Conference, Fairfax, Virginia, USA, November 4-9, 2007 ACM Press
6 国際会議録 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	12 国際会議録 CCS '07 : proceedings of the 14th ACM conference on computer and communications security, Alexandria, Virginia, USA, October 29-November 2, 2007 Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12