Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering / sponsored by ACM SIGSAC

資料種別:: 雑誌
背文字タイトル:: ACM Conference Proceedings. SIGSAC. FMSE
出版情報:: New York : Association for Computing Machinery, 2003-
形態:: v. ; 28 cm
巻次年月次:: '03 (2003)-
書誌ID:: AA12145221

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

受入情報

Loading recipt information

書誌詳細

その他の標題:	ACM Conference Proceedings. SIGSAC. FMSE FMSE ACM Workshop on Formal Methods in Security Engineering Formal Methods in Security Engineering
刊行頻度:	Annual
主題:	Computer security Congresses
注記:	2003 conference co-located with CCS'03, the 10th ACM Conference on Computer and Communications Security, in Washington, D.C Also available online to subscribers HTTP:URL=http://portal.acm.org/browse%5Fdl.cfm?linked=1&part=series&idx=SERIES11255&coll=portal&dl=ACM&CFID=67257559&CFTOKEN=36308399
著者名:	ACM Workshop on Formal Methods in Security Engineering Association for Computing Machinery. Special Interest Group on Security, Audit, and Control <DA08838681>
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 雑誌 Proceedings of the ... ACM Workshop on Storage Security and Survivability : StorageSS ACM Workshop on Storage Security and Survivability, ACM Conference on Computer and Communications Security, Association … Association for Computing Machinery	7 雑誌 Proceedings of the Multimedia and Security Workshop Multimedia and Security Workshop, Association for Computing Machinery, ACM SIG Multimedia Association for Computing Machinery
2 雑誌 Proceedings of the ... ACM Conference on Computer and Communications Security ACM Conference on Computer and Communications Security, Association for Computing Machinery. Special Interest Group on … Association for Computing Machinery	8 電子ブック Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association … ACM Digital Library Proceedings, IEEE
3 雑誌 Proceedings of the ... ACM Workshop on Digital Rights Management : DRM ACM CCS Workshop, DRM, Association for Computing Machinery, Association for Computing Machinery. Special Interest Group … Association for Computing Machinery	9 電子ブック Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association … IEEE Electronic Library (IEL) Conference Proceedings, IEEE
4 雑誌 Proceedings of the ACM Workshop on Privacy in the Electronic Society ACM Workshop on Privacy in the Electronic Society, Association for Computing Machinery. Special Interest Group on … Association for Computing Machinery	10 電子ブック Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation.; ACM Special … ACM Digital Library Proceedings, IEEE
5 雑誌 Proceedings of the ... ACM Workshop on Rapid Malcode : WORM ACM Workshop on Rapid Malcode, Association for Computing Machinery. Special Interest Group on Security, Audit, and … Association for Computing Machinery	11 電子ブック Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation.; ACM Special … ACM Digital Library Proceedings, IEEE
6 雑誌 Proceedings of the ... ACM Workshop on Wireless Security ACM Workshop on Wireless Security, Association for Computing Machinery, ACM SIGMOBILE, International Conference on … ACM Press	12 電子ブック Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation.; ACM Special … ACM Digital Library Proceedings, IEEE

1

2

3

4

5

6

7

8

9

10

11

12