|
|
|
|
| LEADER |
02532nam a2200529Ia 4500 |
| 001 |
bdf520b4-3bcd-437c-9795-afa3d85e4f11 |
| 005 |
20240904000000.0 |
| 008 |
050222t20042004nyua sb 101 0 eng d |
| 020 |
|
|
|a 1581139713
|
| 020 |
|
|
|a 9781581139716
|
| 035 |
|
|
|a (OCoLC)ACMDLocm57707648
|
| 035 |
|
|
|a (OCoLC)ELECocm57707648
|
| 035 |
|
|
|a (PU)4576554-penndb-Voyager
|
| 035 |
|
|
|a 4576554
|
| 040 |
|
|
|a VYR
|b eng
|c VYR
|d OCLCQ
|d C$A
|d UQ1
|
| 049 |
|
|
|a PAUU
|
| 050 |
|
4 |
|a QA76.9.A25
|b A34425 2004
|
| 082 |
|
4 |
|a 658.478
|
| 111 |
2 |
|
|a ACM Workshop on Formal Methods in Security Engineering
|d (2004 :
|c Washington, D.C.)
|
| 245 |
1 |
0 |
|a FMSE '04
|b proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004 /
|c sponsored by ACM SIGSAC.
|
| 246 |
3 |
0 |
|a 2004 ACM Workshop on Formal Methods in Security Engineering
|
| 246 |
3 |
0 |
|a Formal methods in security engineering
|
| 246 |
3 |
0 |
|a Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering
|
| 264 |
|
1 |
|a New York, N.Y. :
|b Association for Computing Machinery,
|c [2004]
|
| 264 |
|
4 |
|c ©2004
|
| 300 |
|
|
|a vi, 97 pages :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|2 rdaft
|
| 504 |
|
|
|a Includes bibliographical references and index
|
| 506 |
|
|
|a Restricted for use by site license
|
| 530 |
|
|
|a Also available in print
|
| 538 |
|
|
|a Mode of access: World Wide Web
|
| 650 |
|
0 |
|a Computer security
|v Congresses
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses
|
| 650 |
|
7 |
|a Computer security
|2 fast
|
| 650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 lcgft
|
| 710 |
2 |
|
|a ACM Digital Library
|
| 710 |
2 |
|
|a Association for Computing Machinery
|b Special Interest Group on Security, Audit, and Control.
|
| 710 |
2 |
|
|a Association for Computing Machinery
|
| 711 |
2 |
|
|a ACM Conference on Computer and Communications Security
|n (11th :
|d 2004 :
|c Washington, D.C.)
|
| 740 |
0 |
|
|a Proceedings of the 2nd ACM Workshop on Security of Ad Hoc and Sensor Networks
|
| 830 |
|
0 |
|a ACM Digital Library (Series)
|
| 999 |
1 |
0 |
|i bdf520b4-3bcd-437c-9795-afa3d85e4f11
|l 9945765543503681
|s US-PU
|m fmse_04proceedings_of_the_2004_acm_workshop_on_formal_methods_in_secur_____2004_______assoca________________________________________acm_workshop_on_form_______________e
|