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 ; New York : Springer, ©2005.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books
Summary:
The extension UMLsec of the Unified Modeling Language for secure systems development is presented in this text. The first part is accessible to anyone with a basic background on object-oriented systems. The second part covers the mathematical tools needed to use the UMLsec approach to verify UML specifications against security requirements.
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: Electronic books
Additional Physical Format: Print version:
Jürjens, Jan.
Secure systems development with UML.
Berlin ; New York : Springer, ©2005
(DLC) 2004112217
(OCoLC)53709380
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jan Jürjens
ISBN: 9783540264941 3540264949 3540007016 9783540007012
OCLC Number: 262680210
Description: 1 online resource (xix, 309 pages) : illustrations
Contents: Prologue --
Walk-through: Using UML for Security --
Background --
Developing Secure Systems --
Model-based Security Engineering with UML --
Applications --
Tool Support --
Tool support for UMLsec --
A Formal Foundation --
Formal Systems Development with UML --
Epilogue --
Further Material --
Outlook.
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/262680210> # Secure systems development with UML
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "262680210" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/826662#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/826662#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/826662#Topic/systemes_informatiques_securite_mesures> ; # Systèmes informatiques--Sécurité--Mesures
    schema:about <http://experiment.worldcat.org/entity/work/data/826662#Topic/uml_informatique> ; # UML (Informatique)
    schema:about <http://id.worldcat.org/fast/1160249> ; # UML (Computer science)
    schema:about <http://dewey.info/class/005.117/e22/> ;
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2005" ;
    schema:creator <http://viaf.org/viaf/161340320> ; # Jan Jürjens
    schema:datePublished "2005" ;
    schema:description "The extension UMLsec of the Unified Modeling Language for secure systems development is presented in this text. The first part is accessible to anyone with a basic background on object-oriented systems. The second part covers the mathematical tools needed to use the UMLsec approach to verify UML specifications against security requirements."@en ;
    schema:description "Prologue -- Walk-through: Using UML for Security -- Background -- Developing Secure Systems -- Model-based Security Engineering with UML -- Applications -- Tool Support -- Tool support for UMLsec -- A Formal Foundation -- Formal Systems Development with UML -- Epilogue -- Further Material -- Outlook."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/826662> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/53709380> ;
    schema:name "Secure systems development with UML"@en ;
    schema:productID "262680210" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262680210#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/826662#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=31236> ;
    schema:url <http://www.SLQ.eblib.com.au/patron/FullRecord.aspx?p=303849> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=303849> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-00701-2> ;
    schema:url <http://www.myilibrary.com?id=31236&ref=toc> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=303849> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540264949> ;
    schema:url <http://site.ebrary.com/id/10142994> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-00701-2> ;
    schema:url <http://dx.doi.org/10.1007/b137706> ;
    schema:url <http://www.books24x7.com/marc.asp?bookid=16288> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-00701-2> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=303849> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/b137706> ;
    schema:url <http://link.springer.com/10.1007/b137706> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy055/2004112217.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540264941> ;
    schema:workExample <http://worldcat.org/isbn/9783540007012> ;
    umbel:isLike <http://d-nb.info/968583377> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262680210> ;
    .


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/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://viaf.org/viaf/161340320> # Jan Jürjens
    a schema:Person ;
    schema:familyName "Jürjens" ;
    schema:givenName "Jan" ;
    schema:name "Jan Jürjens" ;
    .

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

<http://worldcat.org/isbn/9783540264941>
    a schema:ProductModel ;
    schema:isbn "3540264949" ;
    schema:isbn "9783540264941" ;
    .

<http://www.worldcat.org/oclc/53709380>
    a schema:CreativeWork ;
    rdfs:label "Secure systems development with UML." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262680210> ; # Secure systems development with UML
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=303849>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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