Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities /

Bibliographic Details
Main Author:	Simon, Axel
Format:	eBook
Language:	English
Published:	London : Springer, c2008.
Subjects:	Tools and techniques. Programs-Specification. Programs-Verification. C. Herramientas y técnicas. Programas-Especificación. Programas-Verificación.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908124624.0
008	080530s2008 enka sb 001 0 eng d
020			\|a 9781849967020
040			\|a UKM \|c UKM \|d BTCTA \|d YDXCP \|d OHX \|d BWKUK \|d BWK \|d BWX \|d BAKER \|d DLC \|d WaSeSS \|d AR_CdUFM
100	1		\|9 16038 \|a Simon, Axel.
245	1	0	\|a Value-range analysis of C programs : \|b towards proving the absence of buffer overflow vulnerabilities / \|c Axel Simon.
260			\|a London : \|b Springer, \|c c2008.
300			\|a xv, 300 p. ; \|c 24 cm.
504			\|a Incluye referencias bibliográficas e índice.
541			\|a M & A: S. R. L. ; \|c Compra Programa de Bibliotecas Res. 1484/11 ; \|d 2012-09-26 ; \|e 21576 ; \|h $860.94 ; \|o Libro
650		4	\|a Tools and techniques.
650		4	\|a Programs-Specification.
650		4	\|a Programs-Verification.
650		4	\|a C.
650		4	\|a Herramientas y técnicas.
650		4	\|a Programas-Especificación.
650		4	\|a Programas-Verificación.
942			\|c LIBRO \|2 ddc
945			\|a MCR \|d 2012-09-26
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_D22_S594 \|7 0 \|9 21155 \|a MMA \|b MMA \|c 4 \|d 2012-09-26 \|e Programa de Bibliotecas Res. 1484/11: M & A S.R.L. \|g 860.94 \|l 0 \|o C D2.2 S594 \|p 21576 \|r 2023-01-24 00:00:00 \|w 2012-09-26 \|y LIBRO
999			\|c 16583 \|d 16582