rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Open source systems security certification
  name:
    name part: Damiani, Ernesto
    name part: 1960-
    role:
      role term: creator
  name:
    name part: Ardagna, Claudio Agostino.
  name:
    name part: Ioini, Nabil El.
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: nyu
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource.
  abstract: This title discusses security certification standards and establishes the need to certify open source tools and applications. It is suitable for researchers and advanced-level students in computer science.
  table of contents: Cover -- Contents -- 1 Introduction -- 1.1 Context and motivation -- 1.2 Software certification -- 1.2.1 Certification vs. standardization -- 1.2.2 Certification authorities -- 1.3 Software security certification -- 1.3.1 The state of the art -- 1.3.2 Changing scenarios -- 1.4 Certifying Open source -- 1.5 Conclusions -- References -- 2 Basic Notions on Access Control -- 2.1 Introduction -- 2.2 Access Control -- 2.2.1 Discretionary Access Control -- 2.2.2 Mandatory Access Control -- 2.2.3 Role Based Access Control -- 2.3 Conclusions -- References -- 3 Test based security certifications -- 3.1 Basic Notions on Software Testing -- 3.1.1 Types of Software Testing -- 3.1.2 Automation of Test Activities -- 3.1.3 Fault Terminology -- 3.1.4 Test Coverage -- 3.2 Test-based Security Certification -- 3.2.1 The Trusted Computer System Evaluation Criteria (TCSEC) standard -- 3.2.2 CTCPEC -- 3.2.3 ITSEC -- 3.3 The Common Criteria : A General Model for Test-based Certification -- 3.3.1 CC components -- 3.4 Conclusions -- References -- 4 Formal methods for software verification -- 4.1 Introduction -- 4.2 Formal methods for software verification -- 4.2.1 Model Checking -- 4.2.2 Static Analysis -- 4.2.3 Untrusted code -- 4.2.4 Security by contract -- 4.3 Formal Methods for Error Detection in OS C-based Software -- 4.3.1 Static Analysis for C code verification -- 4.3.2 Model Checking for large-scale C-based Software verification -- 4.3.3 Symbolic approximation for large-scale OS software verification -- 4.4 Conclusion -- References -- 5 OSS security certification -- 5.1 Open source software (OSS) -- 5.1.1 Open Source Licenses -- 5.1.2 Specificities of Open Source Development -- 5.2 OSS security -- 5.3 OSS certification -- 5.3.1 State of the art -- 5.4 Security driven OSS development -- 5.5 Security driven OSS development: A case study on Single Sign-On -- 5.5.1 Single Sign-On: Basic Concepts -- 5.5.2 A ST-based definition of trust models and requirements for SSO solutions -- 5.5.3 Re…
  note: Ernesto Damiani, Claudio Agostino Ardagna, Nabil El Ioini.
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Computer security
  subject:
    topic: Open source software
  classification: QA76.9.A25 D35 2009
  classification: 005.8
  related item:
    title info:
      title: Open source systems security certification
    name:
      name part: Damiani, Ernesto, 1960-
    origin info:
      publisher: New York : Springer, 2009
    identifier: (DLC) 2008935406
    identifier: (OCoLC)233932842
  identifier: 038777324X (electronic bk.)
  identifier: 6611853707 (electronic bk.)
  identifier: 9780387773247 (electronic bk.)
  identifier: 9786611853709 (electronic bk.)
  identifier: 0387773231 (Cloth)
  identifier: 9780387773230
  identifier: 12196401
  identifier: 978-0-387-77323-0 Springer
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: GW5XE
    record creation date: 110513
    record change date: 20210727155744.0
    record identifier: in00002697210
    language of cataloging:
      language term: eng