Blank Cover Image

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

責任表示:
Ralf Kusters & John Mitchell, editors ; sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC)
シリーズ名:
ACM Conference Proceedings
シリーズ巻号:
FMSE 2005
出版情報:
New York: Association for Computing Machinery, 2005
ISBN:
9781595932310 [1595932313]
請求記号:
A04533/2005
資料種別:
国際会議録
巻号一覧
Loading volume number list

類似資料:

1 国際会議録 SWS '05 : proceedings of the 2005 ACM Workshop on Secure Web Services : November 11, 2005, Fairfax, Virginia, USA (co-located with CCS 2005)

Association for Computing Machinery
7 国際会議録 WPES '05 : proceedings of the 2005 ACM Workshop on Privacy in the Electronic Society : November 7, 2005, Alexandria, Virginia, USA (co-located with CCS 2005)

Association for Computing Machinery
2 国際会議録 WORM '05 : proceedings of the 2005 ACM Workshop on Rapid Malcode : November 11, 2005, Fairfax, Virginia, USA : co-located with CCS 2005

Association for Computing Machinery
8 国際会議録 DRM '05 : proceedings of the fifth ACM workshop on digital rights managemen, November 7, 2005, Alexandria, Virginia, USA : co-located with CCS 2005

Association for Computing Machinery
3 国際会議録 FMSE'07 : proceedings of the 2007 ACM workshop on formal methods in security engineering, Fairfax, Virginia, USA, November 2, 2007

Association for Computing Machinery
9 国際会議録 Proceedings of the 2005 ACM Workshop on Security of Ad Hoc and Sensor Networks : November 7, 2005, Alexandria, Virginia, USA (co-located with CCS 2005)

Association for Computing Machinery
4 国際会議録 StorageSS '05 : proceedings of the 2005 ACM Workshop on Storage Security and Survivability : November 11, 2005, Fairfax, Virginia, USA (co-located with CSS …

Association for Computing Machinery
10 国際会議録 6th ACM workshop on formal methods in security engineering (FMSE 2008), Alexandria, Virginia, USA, 27 October 2008

Association for Computing Machinery
5 国際会議録 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
11 国際会議録 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
6 国際会議録 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
12 国際会議録 CCS'05 : proceedings of the 12th ACM Conference on Computer and Communications Security, November 7-11, 2005, Alexandria, Virginia, USA

Association for Computing Machinery
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12