Cargando…

String analysis for software verification and security

Detalles Bibliográficos
Autores principales:	Bultan, Tevfik, Yu, Fang, Alkhalaf, Muath, Aydin, Abdulbaki
Lenguaje:	eng
Publicado:	Springer 2018
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2663988

Ejemplares similares

Modelling and verification of secure exams
por: Giustolisi, Rosario
Publicado: (2018)

Software security: building security in
por: McGraw, Gary
Publicado: (2006)

Core software security: security at the source
por: Ransome, James, et al.
Publicado: (2013)

Security for software engineers
por: Helfrich, James N
Publicado: (2018)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Secure and resilient software development
por: Merkow, Mark S, et al.
Publicado: (2010)

FASTBUS slave diagnostic software ans system verification
por: Story, C M
Publicado: (1985)

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

The art of software security assessment: identifying and preventing software vulnerabilities
por: Dowd, Mark, et al.
Publicado: (2006)

Co-verification of hardware and software for ARM SoC design
por: Andrews, Jason
Publicado: (2004)

Engineering secure and dependable software systems
por: Pretschner, A, et al.
Publicado: (2019)

Security patterns in practice: designing secure architectures using software patterns
por: Fernandez-Buglioni, Eduardo
Publicado: (2013)

Building secure software: how to avoid security problems the right way
por: Viega, John, et al.
Publicado: (2002)

Fuzzing for software security testing and quality assurance
por: Takanen, Ari, et al.
Publicado: (2018)

Enterprise software security: a confluence of disciplines
por: Van Wyk, Kenneth R, et al.
Publicado: (2015)

Fuzzing for software security testing and quality assurance
por: Takanen, Ari, et al.
Publicado: (2008)

Embedded systems security: practical methods for safe and secure software and systems development
por: Kleidermacher, David, et al.
Publicado: (2012)

The security development lifecycle: SDL, a process for developing demonstrably more secure software
por: Howard, Michael, et al.
Publicado: (2006)

Software quality assurance: integrating testing, security, and audit
por: Mahfuz, Abu Sayed
Publicado: (2016)

Software networks: virtualization, SDN, 5G and security
por: Pujolle, G
Publicado: (2015)

Software security engineering: a guide for project managers
por: Allen, Julia H, et al.
Publicado: (2008)

Software networks: virtualization, SDN, 5G, and security
por: Pujolle, Guy
Publicado: (2020)

DevOpsSec: securing software through continuous delivery
por: Bird, Jim
Publicado: (2016)

Secure and Resilient Software: Requirements, Test Cases, and Testing Methods
por: Merkow, Mark S, et al.
Publicado: (2011)

Black Hat physical device security: exploiting hardware and software
por: Miller, Drew
Publicado: (2005)

Information security management systems: a novel framework and software as a tool for compliance with information security standard
por: Susanto, Heru, et al.
Publicado: (2018)

Cyber security engineering: a practical approach for systems and software assurance
por: Mead, Nancy R, et al.
Publicado: (2017)

The CSSLP prep guide: mastering the Certified Secure Software Lifecycle Professional
por: Krutz, Ronald L, et al.
Publicado: (2009)

Handbook of system safety and security: cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems
por: Griffor, Edward
Publicado: (2016)

Securing the perimeter: deploying identity and access management with free open source software
por: Schwartz, Michael, et al.
Publicado: (2018)

24 deadly sins of software security: programming flaws and how to fix them
por: Howard, Michael, et al.
Publicado: (2010)

Software Security and the "Building Security in Maturity" Model
por: McGraw, Gary
Publicado: (2011)

How to break Web software: functional and security testing of Web applications and Web services
por: Andrews, Mike, et al.
Publicado: (2006)

A bug hunter's diary: a guided tour through the wilds of software security
por: Klein, Tobias
Publicado: (2011)

Hacking and Securing iOS Applications: Stealing Data, Hijacking Software, and How to Prevent It
por: Zdziarski, Jonathan
Publicado: (2012)

Decidability of parameterized verification
por: Bloem, Roderick, et al.
Publicado: (2015)

Program construction and verification
por: Backhouse, Roland Carl
Publicado: (1986)

Biometric Technologies and Verification Systems
por: Vacca, John R
Publicado: (2007)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

New developments in program verification
por: Wolper, P
Publicado: (1991)

Cannot write session to /tmp/vufind_sessions/sess_o12hsgfi9v6nnp5e7s592v42gm