skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.; Association for Computing Machinery.
Publisher: New York, N.Y. : Association for Computing Machinery, ©2004.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.; Association for Computing Machinery.
ISBN: 1581139713 9781581139716
OCLC Number: 57707648
Description: vi, 97 pages : illustrations ; 28 cm
Other Titles: Proceedings of the 2nd ACM Workshop on Security of Ad Hoc and Sensor Networks.
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering
2004 ACM Workshop on Formal Methods in Security Engineering
Formal methods in security engineering
Responsibility: sponsored by ACM SIGSAC.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/57707648> # 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
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "57707648" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1152475936#Place/new_york_n_y> ; # New York, N.Y.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/1152475936#CreativeWork/proceedings_of_the_2nd_acm_workshop_on_security_of_ad_hoc_and_sensor_networks> ; # Proceedings of the 2nd ACM Workshop on Security of Ad Hoc and Sensor Networks.
    schema:about <http://experiment.worldcat.org/entity/work/data/1152475936#Topic/securite_informatique> ; # Sécurité informatique
    schema:about <http://dewey.info/class/658.478/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1152475936#Topic/controle_d_acces> ; # Contrôle d'accès
    schema:about <http://experiment.worldcat.org/entity/work/data/1152475936#Topic/methode_formelle> ; # Méthode formelle
    schema:about <http://experiment.worldcat.org/entity/work/data/1152475936#Topic/ordinateur> ; # Ordinateur
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/1152475936#Topic/computer_security> ; # Computer security
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:alternateName "Formal methods in security engineering" ;
    schema:alternateName "Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering" ;
    schema:alternateName "2004 ACM Workshop on Formal Methods in Security Engineering" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/133611413> ; # Association for Computing Machinery.
    schema:contributor <http://viaf.org/viaf/127279307> ; # Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1152475936#Meeting/acm_conference_on_computer_and_communications_security_11th_2004_washington_d_c> ; # ACM Conference on Computer and Communications Security (11th : 2004 : Washington, D.C.)
    schema:copyrightYear "2004" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1152475936#Meeting/acm_workshop_on_formal_methods_in_security_engineering_2004_washington_d_c> ; # ACM Workshop on Formal Methods in Security Engineering (2004 : Washington, D.C.)
    schema:datePublished "2004" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1152475936> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:name "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"@en ;
    schema:productID "57707648" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/57707648#PublicationEvent/new_york_n_y_association_for_computing_machinery_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1152475936#Agent/association_for_computing_machinery> ; # Association for Computing Machinery
    schema:url <http://portal.acm.org/toc.cfm?id=1029133&coll=portal&dl=ACM&type=proceeding&idx=SERIES320&part=Proceedings&WantType=Proceedings&title=Conference%20on%20Computer%20and%20Communications%20Security> ;
    schema:workExample <http://worldcat.org/isbn/9781581139716> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/57707648> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1152475936#Agent/association_for_computing_machinery> # Association for Computing Machinery
    a bgn:Agent ;
    schema:name "Association for Computing Machinery" ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#CreativeWork/proceedings_of_the_2nd_acm_workshop_on_security_of_ad_hoc_and_sensor_networks> # Proceedings of the 2nd ACM Workshop on Security of Ad Hoc and Sensor Networks.
    a schema:CreativeWork ;
    schema:name "Proceedings of the 2nd ACM Workshop on Security of Ad Hoc and Sensor Networks." ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#Meeting/acm_conference_on_computer_and_communications_security_11th_2004_washington_d_c> # ACM Conference on Computer and Communications Security (11th : 2004 : Washington, D.C.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1152475936#Place/washington_d_c> ; # Washington, D.C.)
    schema:name "ACM Conference on Computer and Communications Security (11th : 2004 : Washington, D.C.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#Meeting/acm_workshop_on_formal_methods_in_security_engineering_2004_washington_d_c> # ACM Workshop on Formal Methods in Security Engineering (2004 : Washington, D.C.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1152475936#Place/washington_d_c> ; # Washington, D.C.)
    schema:name "ACM Workshop on Formal Methods in Security Engineering (2004 : Washington, D.C.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#Place/new_york_n_y> # New York, N.Y.
    a schema:Place ;
    schema:name "New York, N.Y." ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#Place/washington_d_c> # Washington, D.C.)
    a schema:Place ;
    schema:name "Washington, D.C.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#Topic/controle_d_acces> # Contrôle d'accès
    a schema:Intangible ;
    schema:name "Contrôle d'accès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#Topic/methode_formelle> # Méthode formelle
    a schema:Intangible ;
    schema:name "Méthode formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1152475936#Topic/securite_informatique> # Sécurité informatique
    a schema:Intangible ;
    schema:name "Sécurité informatique"@en ;
    .

<http://id.worldcat.org/fast/872484> # Computer security
    a schema:Intangible ;
    schema:name "Computer security"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/127279307> # Association for Computing Machinery. Special Interest Group on Security, Audit, and Control.
    a schema:Organization ;
    schema:name "Association for Computing Machinery. Special Interest Group on Security, Audit, and Control." ;
    .

<http://viaf.org/viaf/133611413> # Association for Computing Machinery.
    a schema:Organization ;
    schema:name "Association for Computing Machinery." ;
    .

<http://worldcat.org/isbn/9781581139716>
    a schema:ProductModel ;
    schema:isbn "1581139713" ;
    schema:isbn "9781581139716" ;
    .

<http://www.worldcat.org/title/-/oclc/57707648>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/57707648> ; # 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
    schema:dateModified "2018-11-02" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.