skip to content
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers Preview this item
ClosePreview this item
Checking...

Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers

Author: Sebastian Mödersheim; Catuscia Palamidessi
Publisher: Berlin ; New York : Springer, ©2012.
Series: Lecture notes in computer science, 6993.; LNCS sublibrary., SL 4,, Security and cryptology.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrucken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics  Read more...
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: Electronic books
Conference papers and proceedings
Computer software
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sebastian Mödersheim; Catuscia Palamidessi
ISBN: 9783642273759 3642273750
OCLC Number: 773697787
Description: 1 online resource (vi, 224 pages) : illustrations.
Series Title: Lecture notes in computer science, 6993.; LNCS sublibrary., SL 4,, Security and cryptology.
Other Titles: TOSCA 2011
Responsibility: Sebastian Mödersheim, Catuscia Palamidessi (eds.).

Abstract:

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrucken,  Read more...

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/773697787> # Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "773697787" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1075039486#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Thing/software_engineering> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/887935> ; # Data encryption (Computer science)
    schema:about <http://id.worldcat.org/fast/872341> ; # Computer networks--Security measures
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Thing/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computers_and_society> ; # Computers and Society
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://dewey.info/class/005.8/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Topic/computer_networks_security_measures> ; # Computer networks--Security measures
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1075039486#Topic/computer_security> ; # Computer security
    schema:alternateName "TOSCA 2011" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/225769752> ; # Sebastian Mödersheim
    schema:contributor <http://viaf.org/viaf/5760909> ; # Catuscia Palamidessi
    schema:copyrightYear "2012" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1075039486#Meeting/joint_workshop_on_automated_reasoning_for_security_protocol_analysis_and_issues_in_the_theory_of_security_2011_saarbrucken_germany> ; # Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)
    schema:datePublished "2012" ;
    schema:description "This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrucken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1075039486> ;
    schema:genre "Computer software"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1075039486#Series/lncs_sublibrary_sl_4_security_and_cryptology> ; # LNCS sublibrary. SL 4, Security and cryptology
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1075039486#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1075039486#CreativeWork/> ;
    schema:name "Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers"@en ;
    schema:productID "773697787" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/773697787#PublicationEvent/berlin_new_york_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1075039486#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-27374-2> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-27375-9> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-27375-9> ;
    schema:url <http://site.ebrary.com/id/10651838> ;
    schema:url <http://www.springerlink.com/content/978-3-642-27375-9> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3070279> ;
    schema:workExample <http://worldcat.org/isbn/9783642273759> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-27375-9> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/773697787> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Meeting/joint_workshop_on_automated_reasoning_for_security_protocol_analysis_and_issues_in_the_theory_of_security_2011_saarbrucken_germany> # Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1075039486#Place/saarbrucken_germany> ; # Saarbrücken, Germany)
    schema:name "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Place/saarbrucken_germany> # Saarbrücken, Germany)
    a schema:Place ;
    schema:name "Saarbrücken, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/773697787> ; # Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Series/lncs_sublibrary_sl_4_security_and_cryptology> # LNCS sublibrary. SL 4, Security and cryptology
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/773697787> ; # Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers
    schema:name "LNCS sublibrary. SL 4, Security and cryptology" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Thing/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Thing ;
    schema:name "Algorithm Analysis and Problem Complexity" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computer_communication_networks> # Computer Communication Networks
    a schema:Thing ;
    schema:name "Computer Communication Networks" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computer_science> # Computer science
    a schema:Thing ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computer_software> # Computer software
    a schema:Thing ;
    schema:name "Computer software" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Thing/computers_and_society> # Computers and Society
    a schema:Thing ;
    schema:name "Computers and Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/1075039486#Thing/software_engineering> # Software engineering
    a schema:Thing ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/872341> # Computer networks--Security measures
    a schema:Intangible ;
    schema:name "Computer networks--Security measures"@en ;
    .

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

<http://id.worldcat.org/fast/887935> # Data encryption (Computer science)
    a schema:Intangible ;
    schema:name "Data encryption (Computer science)"@en ;
    .

<http://viaf.org/viaf/225769752> # Sebastian Mödersheim
    a schema:Person ;
    schema:familyName "Mödersheim" ;
    schema:givenName "Sebastian" ;
    schema:name "Sebastian Mödersheim" ;
    .

<http://viaf.org/viaf/5760909> # Catuscia Palamidessi
    a schema:Person ;
    schema:familyName "Palamidessi" ;
    schema:givenName "Catuscia" ;
    schema:name "Catuscia Palamidessi" ;
    .

<http://worldcat.org/entity/work/data/1075039486#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/773697787> ; # Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers
    .

<http://worldcat.org/isbn/9783642273759>
    a schema:ProductModel ;
    schema:isbn "3642273750" ;
    schema:isbn "9783642273759" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/773697787> ; # Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.springerlink.com/content/978-3-642-27375-9>
    rdfs:comment "Rutgers restricted" ;
    rdfs:comment "Full text available from SpringerLink" ;
    .

<http://www.worldcat.org/title/-/oclc/773697787>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/773697787> ; # Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers
    schema:dateModified "2018-01-09" ;
    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.