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:   Book : English
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Kongress
Document Type: Book
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


<http://www.worldcat.org/oclc/841147935>
library:oclcnum"841147935"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/841147935>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:datePublished"2013"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1266946575>
schema:genre"Kongress"
schema:inLanguage"en"
schema:name"Engineering secure software and systems : 5th international symposium : proceedings"
schema:publisher
schema:url
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/1030170606>

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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