View in EDS PDF Full Text

Software Safety and Security : Tools for Analysis and Verification

Saved in:
Bibliographic Details
Title: Software Safety and Security : Tools for Analysis and Verification
Description: Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems.
Authors: Tobias Nipkow, Orna Grumberg
Resource Type: eBook.
Subjects: Computer security--Congresses, Computer software--Verification--Congresses
Categories: COMPUTERS / Security / General
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 463799
RelevancyScore: 1044
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1044.26904296875
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$463799$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$463799$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Software Safety and Security : Tools for Analysis and Verification
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Tobias+Nipkow%22">Tobias Nipkow</searchLink><br /><searchLink fieldCode="AR" term="%22Orna+Grumberg%22">Orna Grumberg</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+security--Congresses%22">Computer security--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software--Verification--Congresses%22">Computer software--Verification--Congresses</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Security+%2F+General%22">COMPUTERS / Security / General</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=463799
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.14
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Computer security--Congresses
        Type: general
      – SubjectFull: Computer software--Verification--Congresses
        Type: general
    Titles:
      – TitleFull: Software Safety and Security : Tools for Analysis and Verification
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Tobias Nipkow
      – PersonEntity:
          Name:
            NameFull: Orna Grumberg
      – PersonEntity:
          Name:
            NameFull: Tobias Nipkow
      – PersonEntity:
          Name:
            NameFull: Orna Grumberg
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2012
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781614990277
            – Type: isbn-electronic
              Value: 9781614990284
          Numbering:
            – Type: volume
              Value: 00033
          Titles:
            – TitleFull: Software Safety and Security : Tools for Analysis and Verification
              Type: main
ResultId 1