skip to content
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings Preview this item
ClosePreview this item
Checking...

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

Author: Jan Jürjens; Frank Piessens; Nataliia Bielova
Publisher: Cham Imprint: Springer 2014
Series: Lecture notes in computer science, 8364
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Online-Publikation
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jan Jürjens; Frank Piessens; Nataliia Bielova
ISBN: 9783319048963 3319048961 9783319048970 331904897X
OCLC Number: 871587670
Description: 1 online resource (XVIII, 231 p.) 59 illus
Contents: Model-Based Security --
Detecting Code Reuse Attacks with a Model of Conformant Program Execution --
Security@Runtime: A Flexible MDE Approach to Enforce Fine-Grained Security Policies --
Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services --
Formal Methods --
Automated Formal Verification of Application-Specific Security Properties --
Fault-Tolerant Non-interference --
Quantitative Security Analysis for Programs with Low Input and Noisy Output --
A Modeling and Formal Approach for the Precise Specification of Security Patterns --
On the Relation between Redactable and Sanitizable Signature Schemes --
Idea: Towards a Working Fully Homomorphic Crypto-processor: Practice and the Secret Computer --
Web and Mobile Security --
Architectures for Inlining Security Monitors in Web Applications --
Automatic and Robust Client-Side Protection for Cookie-Based Sessions --
Security Testing of GSM Implementations --
Applications --
User-Centric Security Assessment of Software Configurations: A Case Study --
Idea: Security Engineering Principles for Day Two Car2X Applications.-Idea: Embedded Fault Injection Simulator on Smartcard.
Series Title: Lecture notes in computer science, 8364
Responsibility: edited by Jan Jürjens, Frank Piessens, Nataliia Bielova
More information:

Abstract:

This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The symposium  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/871587670> # Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "871587670" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1105233238#Place/cham> ; # Cham
   schema:about <http://experiment.worldcat.org/entity/work/data/1105233238#Topic/data_encryption_computer_science> ; # Data encryption (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/1105233238#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1105233238#Topic/computer_communication_networks> ; # Computer Communication Networks
   schema:about <http://dewey.info/class/004.6/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1105233238#Topic/data_structures_computer_science> ; # Data structures (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/1105233238#Topic/software_engineering> ; # Software engineering
   schema:author <http://experiment.worldcat.org/entity/work/data/1105233238#Person/piessens_frank> ; # Frank Piessens
   schema:author <http://experiment.worldcat.org/entity/work/data/1105233238#Person/jurjens_jan> ; # Jan Jürjens
   schema:author <http://experiment.worldcat.org/entity/work/data/1105233238#Person/bielova_nataliia> ; # Nataliia Bielova
   schema:bookFormat schema:EBook ;
   schema:datePublished "2014" ;
   schema:description "This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications." ;
   schema:description "Model-Based Security -- Detecting Code Reuse Attacks with a Model of Conformant Program Execution -- Security@Runtime: A Flexible MDE Approach to Enforce Fine-Grained Security Policies -- Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services -- Formal Methods -- Automated Formal Verification of Application-Specific Security Properties -- Fault-Tolerant Non-interference -- Quantitative Security Analysis for Programs with Low Input and Noisy Output -- A Modeling and Formal Approach for the Precise Specification of Security Patterns -- On the Relation between Redactable and Sanitizable Signature Schemes -- Idea: Towards a Working Fully Homomorphic Crypto-processor: Practice and the Secret Computer -- Web and Mobile Security -- Architectures for Inlining Security Monitors in Web Applications -- Automatic and Robust Client-Side Protection for Cookie-Based Sessions -- Security Testing of GSM Implementations -- Applications -- User-Centric Security Assessment of Software Configurations: A Case Study -- Idea: Security Engineering Principles for Day Two Car2X Applications.-Idea: Embedded Fault Injection Simulator on Smartcard." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1105233238> ;
   schema:genre "Online-Publikation" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1105233238#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings" ;
   schema:numberOfPages "231" ;
   schema:productID "871587670" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/871587670#PublicationEvent/chamimprint_springer2014> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1105233238#Agent/imprint_springer> ; # Imprint: Springer
   schema:url <http://dx.doi.org/10.1007/978-3-319-04897-0> ;
   schema:url <http://swbplus.bsz-bw.de/bsz402417585cov.htm> ;
   schema:url <http://scans.hebis.de/HEBCGI/show.pl?33749643_toc.html> ;
   schema:workExample <http://worldcat.org/isbn/9783319048963> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-04897-0> ;
   schema:workExample <http://worldcat.org/isbn/9783319048970> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/871587670> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1105233238#Agent/imprint_springer> # Imprint: Springer
    a bgn:Agent ;
   schema:name "Imprint: Springer" ;
    .

<http://experiment.worldcat.org/entity/work/data/1105233238#Person/bielova_nataliia> # Nataliia Bielova
    a schema:Person ;
   schema:familyName "Bielova" ;
   schema:givenName "Nataliia" ;
   schema:name "Nataliia Bielova" ;
    .

<http://experiment.worldcat.org/entity/work/data/1105233238#Person/jurjens_jan> # Jan Jürjens
    a schema:Person ;
   schema:familyName "Jürjens" ;
   schema:givenName "Jan" ;
   schema:name "Jan Jürjens" ;
    .

<http://experiment.worldcat.org/entity/work/data/1105233238#Person/piessens_frank> # Frank Piessens
    a schema:Person ;
   schema:familyName "Piessens" ;
   schema:givenName "Frank" ;
   schema:name "Frank Piessens" ;
    .

<http://experiment.worldcat.org/entity/work/data/1105233238#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/871587670> ; # Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1105233238#Topic/data_encryption_computer_science> # Data encryption (Computer science)
    a schema:Intangible ;
   schema:name "Data encryption (Computer science)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1105233238#Topic/data_structures_computer_science> # Data structures (Computer science)
    a schema:Intangible ;
   schema:name "Data structures (Computer science)" ;
    .

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

<http://worldcat.org/isbn/9783319048963>
    a schema:ProductModel ;
   schema:isbn "3319048961" ;
   schema:isbn "9783319048963" ;
    .

<http://worldcat.org/isbn/9783319048970>
    a schema:ProductModel ;
   schema:isbn "331904897X" ;
   schema:isbn "9783319048970" ;
    .

<http://www.worldcat.org/title/-/oclc/871587670>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/871587670> ; # Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
   schema:dateModified "2017-12-25" ;
   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.