skip to content
Secure systems development with UML Preview this item
ClosePreview this item
Checking...

Secure systems development with UML

Author: Jan Jürjens
Publisher: Berlin ; London : Springer, 2004.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for  Read more...
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jan Jürjens
ISBN: 3540007016 9783540007012
OCLC Number: 781647755
Description: xix, 309 pages : illustrations ; 24 cm
Contents: 1. Introduction --
2. Walk-through : using UML for security --
3. Background --
4. Model-based security engineering with UML --
5. Applications --
6. Tool support for UMLsec --
7. A formal foundation --
8. Formal systems development with UML --
9. Further material --
10. Outlook --
A. Towards UML 2.0 --
B. The semantics of UML machine rules --
C. Proofs.
Responsibility: Jan Jürjens.
More information:

Abstract:

High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.Jurjens presents the UML extension UMLsec for  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/781647755> # Secure systems development with UML
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "781647755" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/826662#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/005.117/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/826662#Topic/uml_informatique> ; # UML (Informatique)
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:about <http://id.worldcat.org/fast/1160249> ; # UML (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/826662#Topic/systemes_informatiques_securite_mesures> ; # Systèmes informatiques--Sécurité--Mesures
    schema:author <http://experiment.worldcat.org/entity/work/data/826662#Person/jurjens_jan> ; # Jan Jürjens
    schema:bookFormat bgn:PrintBook ;
    schema:datePublished "2004" ;
    schema:description "1. Introduction -- 2. Walk-through : using UML for security -- 3. Background -- 4. Model-based security engineering with UML -- 5. Applications -- 6. Tool support for UMLsec -- 7. A formal foundation -- 8. Formal systems development with UML -- 9. Further material -- 10. Outlook -- A. Towards UML 2.0 -- B. The semantics of UML machine rules -- C. Proofs."@en ;
    schema:description ""Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction. With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications"--Publisher description."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/826662> ;
    schema:inLanguage "en" ;
    schema:name "Secure systems development with UML"@en ;
    schema:productID "781647755" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/781647755#PublicationEvent/berlin_london_springer_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/826662#Agent/springer> ; # Springer
    schema:url <http://catdir.loc.gov/catdir/toc/fy055/2004112217.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540007012> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA3T4633> ;
    umbel:isLike <http://d-nb.info/968583377> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/781647755> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/826662#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/826662#Topic/systemes_informatiques_securite_mesures> # Systèmes informatiques--Sécurité--Mesures
    a schema:Intangible ;
    schema:name "Systèmes informatiques--Sécurité--Mesures"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/826662#Topic/uml_informatique> # UML (Informatique)
    a schema:Intangible ;
    schema:name "UML (Informatique)"@fr ;
    .

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

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

<http://worldcat.org/isbn/9783540007012>
    a schema:ProductModel ;
    schema:isbn "3540007016" ;
    schema:isbn "9783540007012" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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