4th ACM workshop on formal methods in security engineering : FMSE '06 : held in conjunction with the 13th ACM conference on computer and communications security, October 30-November 3, 2006, Alexandria, Virginia, USA | 東京工業大学附属図書館資料名データベース

Blank Cover Image

4th ACM workshop on formal methods in security engineering : FMSE '06 : held in conjunction with the 13th ACM conference on computer and communications security, October 30-November 3, 2006, Alexandria, Virginia, USA

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

巻号一覧

Loading volume number list

詳細

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

類似資料:

1 国際会議録 ACM workshop on digital rights management : DRM '06 : held in conjunction with the 13th ACM conference on computer and communications security, October … Association for Computing Machinery	7 国際会議録 1st ACM Workshop on Scalable Trusted Computing : STC '06 : held at the 13th ACM Conference on Computer and Communications Security, November 3, 2006, … Association for Computing Machinery
2 国際会議録 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	8 国際会議録 CCS 2006 : proceedings of the 13th ACM Conference on Computer and Communications Security : October 30-November 3, 2006, Alexandria, Virginia, USA Association for Computing Machinery
3 国際会議録 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	9 国際会議録 6th ACM workshop on formal methods in security engineering (FMSE 2008), Alexandria, Virginia, USA, 27 October 2008 Association for Computing Machinery
4 国際会議録 3rd International Workshop on Visualization for Computer Security : VizSEC '06 : held in conjunction with the 13th ACM Conference on Computer and Communications … Association for Computing Machinery	10 国際会議録 2nd ACM international workshop on storage security and survivability : StorageSS '06 : held at the 13th ACM conference on computer and communications security, … Association for Computing Machinery
5 国際会議録 2nd ACM Workshop on Digital Identity Management, DIM '06 : held at the 13th ACM Conference on Computer and Communications Security, October 30-November 3, 2006, … Association for Computing Machinery	11 国際会議録 5th ACM workshop on privacy in the electronic society (WPES'06), October 30-November 3, 2006, Alexandria, Virginia, USA Association for Computing Machinery
6 国際会議録 2nd Quality of Protection Workshop : QoP '06 : security measurements and metrics : held at the 13th ACM Conference on Computer and Communications Security, … Association for Computing Machinery	12 国際会議録 FMSE'07 : proceedings of the 2007 ACM workshop on formal methods in security engineering, Fairfax, Virginia, USA, November 2, 2007 Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12