skip to content
Engineering secure software and systems : 5th international symposium : proceedings Preview this item
ClosePreview this item
Checking...

Engineering secure software and systems : 5th international symposium : proceedings

Author: Jan Jürjens; et al
Publisher: Heidelberg : Springer, 2013.
Series: Lecture notes in computer science, 7781
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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: Kongress
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jan Jürjens; et al
ISBN: 9783642365621 3642365620 9783642365638 3642365639
OCLC Number: 841147935
Description: 228 S : Ill.
Contents: Control-Flow Integrity in Web Applications Using Security Policies to Automate Placement of Network Intrusion Prevention.- Idea: Callee-Site Rewriting of Sealed System Libraries.- Towards Unified Authorization for Android.- Model-Based Usage Control Policy Derivation.- Compositional Verification of Application-Level Security Properties.- Towards Verifying Voter Privacy through Unlinkability.- Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.- A Fully Homomorphic Crypto-Processor Design: Correctness of a Secret Computer.- DKAL: Constructing Executable Specifications of Authorization Protocols.- A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic services.- Idea: Writing Secure C Programs with SecProve.- Anatomy of Exploit Kits: Preliminary Analysis of Exploit Kits as Software Artefacts.- An Empirical Study on the Effectiveness of Security Code Review.- Eliminating SQL Injection and Cross Site Scripting Using Aspect Oriented Programming.
Series Title: Lecture notes in computer science, 7781
Responsibility: ESSoS 2013, Paris, France, February 27 - March 1, 2013 ; Jan Jürjens ... [et al.] (eds.).
More information:

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/841147935> # Engineering secure software and systems : 5th international symposium : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "841147935" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3902493449#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/reliability_+_fault_tolerance_software_engineering> ; # RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/datensicherheit_+_datenschutz_betriebssysteme> ; # DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/securite_et_protection_des_donnees_systemes_d_exploitation> ; # SÉCURITÉ ET PROTECTION DES DONNÉES (SYSTÈMES D'EXPLOITATION)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/software_engineering> ; # SOFTWARE ENGINEERING
   schema:about <http://dewey.info/class/005.8/e22/ger/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Topic/softwareentwicklung> ; # Softwareentwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Topic/datensicherung> ; # Datensicherung
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/zuverlassigkeit_+_fehlertoleranz_software_engineering> ; # ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/genie_logiciel> ; # GÉNIE LOGICIEL
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Topic/privatsphare> ; # Privatsphäre
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Topic/requirements_engineering> ; # Requirements engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/verification_software_engineering> ; # VERIFICATION (SOFTWARE ENGINEERING)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/verifikation_software_engineering> ; # VERIFIKATION (SOFTWARE ENGINEERING)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/data_security_+_data_protection_operating_systems> ; # DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/verification_genie_logiciel> ; # VÉRIFICATION (GÉNIE LOGICIEL)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Topic/sicherheitskritisches_system> ; # Sicherheitskritisches System
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Topic/anwendungssystem> ; # Anwendungssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Thing/fiabilite_du_logiciel_genie_logiciel> ; # FIABILITÉ DU LOGICIEL (GÉNIE LOGICIEL)
   schema:about <http://experiment.worldcat.org/entity/work/data/3902493449#Topic/computersicherheit> ; # Computersicherheit
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3902493449#Meeting/international_symposium_on_engineering_secure_software_and_systems> ; # International Symposium on Engineering Secure Software and Systems.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3902493449#Person/jurjens_jan> ; # Jan Jürjens
   schema:datePublished "2013" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3902493449> ;
   schema:genre "Kongress" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3902493449#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Engineering secure software and systems : 5th international symposium : proceedings" ;
   schema:productID "841147935" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/841147935#PublicationEvent/heidelberg_springer_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3902493449#Agent/springer> ; # Springer
   schema:url <http://d-nb.info/1030170606/04> ;
   schema:workExample <http://worldcat.org/isbn/9783642365638> ;
   schema:workExample <http://worldcat.org/isbn/9783642365621> ;
   umbel:isLike <http://d-nb.info/1030170606> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/841147935> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3902493449#Meeting/international_symposium_on_engineering_secure_software_and_systems> # International Symposium on Engineering Secure Software and Systems.
    a bgn:Meeting, schema:Event ;
   schema:name "International Symposium on Engineering Secure Software and Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#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/3902493449#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/841147935> ; # Engineering secure software and systems : 5th international symposium : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/data_security_+_data_protection_operating_systems> # DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS)
    a schema:Thing ;
   schema:name "DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/datensicherheit_+_datenschutz_betriebssysteme> # DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)
    a schema:Thing ;
   schema:name "DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/fiabilite_du_logiciel_genie_logiciel> # FIABILITÉ DU LOGICIEL (GÉNIE LOGICIEL)
    a schema:Thing ;
   schema:name "FIABILITÉ DU LOGICIEL (GÉNIE LOGICIEL)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/reliability_+_fault_tolerance_software_engineering> # RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/securite_et_protection_des_donnees_systemes_d_exploitation> # SÉCURITÉ ET PROTECTION DES DONNÉES (SYSTÈMES D'EXPLOITATION)
    a schema:Thing ;
   schema:name "SÉCURITÉ ET PROTECTION DES DONNÉES (SYSTÈMES D'EXPLOITATION)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/software_engineering> # SOFTWARE ENGINEERING
    a schema:Thing ;
   schema:name "SOFTWARE ENGINEERING" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/verification_genie_logiciel> # VÉRIFICATION (GÉNIE LOGICIEL)
    a schema:Thing ;
   schema:name "VÉRIFICATION (GÉNIE LOGICIEL)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/verification_software_engineering> # VERIFICATION (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "VERIFICATION (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/verifikation_software_engineering> # VERIFIKATION (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "VERIFIKATION (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Thing/zuverlassigkeit_+_fehlertoleranz_software_engineering> # ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Topic/requirements_engineering> # Requirements engineering
    a schema:Intangible ;
   schema:name "Requirements engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Topic/sicherheitskritisches_system> # Sicherheitskritisches System
    a schema:Intangible ;
   schema:name "Sicherheitskritisches System" ;
    .

<http://experiment.worldcat.org/entity/work/data/3902493449#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
   schema:name "Softwareentwicklung" ;
    .

<http://worldcat.org/isbn/9783642365621>
    a schema:ProductModel ;
   schema:isbn "3642365620" ;
   schema:isbn "9783642365621" ;
    .

<http://worldcat.org/isbn/9783642365638>
    a schema:ProductModel ;
   schema:isbn "3642365639" ;
   schema:isbn "9783642365638" ;
    .

<http://www.worldcat.org/title/-/oclc/841147935>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/841147935> ; # Engineering secure software and systems : 5th international symposium : proceedings
   schema:dateModified "2017-07-08" ;
   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.