Engineering secure and dependable software systems /

Mostrar otras versiones (1)

Almost all technical systems currently either interface with or are themselves largely software systems. Software systems must not harm their environment, but are also often vulnerable to security attacks with potentially serious economic, political, and physical consequences, so a better understand...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Engineering Secure and Dependable Software Systems Marktoberdorf, Germany
Otros Autores: Pretschner, Alexander (Editor ), Müller, Peter (Editor ), Stöckle, Patrick (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands : IOS Press, 2019.
Colección:NATO science for peace and security series. Information and communication security ; v. 53.
Temas:
Computer security.
Software engineering.
Computer software > Development > Security measures.
Engineering systems > Security measures.
Computer Security
Sécurité informatique.
Génie logiciel.
Systèmes d'ingénierie > Sécurité > Mesures.
Computer security
Software engineering
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Formal Methods and Tool-Suites for CPS Security, Safety and Verification
  • A Formal Introduction to Abstract Interpretation
  • SAT and SMT Solvers: A Foundational Perspective
  • Programming by Examples: PL Meets ML
  • Automatic Program Verification with SEAHORN
  • Using Epistemic Logic to Analyze Protocols
  • Abstraction-Based Control Design. Lecture Notes
  • The Thousand-and-One Cryptographers
  • Maude-NPA and Formal Analysis of Protocols with Equational Theories
  • Building Deductive Program Verifiers. Lecture Notes
  • Clocks in Kahn Process Networks
  • Efficient Checking of Actual Causality with SAT Solving.

Ejemplares similares