國立高雄大學圖資館 |

Language: English

Back

Value-range analysis of C programsto...

Simon, Axel.

Value-range analysis of C programstowards proving the absence of buffer overflow vulnerabilities /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Value-range analysis of C programsby Axel Simon.
Reminder of title:	towards proving the absence of buffer overflow vulnerabilities /
Author:	Simon, Axel.
Published:	London :Springer-Verlag London,c2008.
Description:	xxii, 300 p. :ill., digital ;25 cm.
Contained By:	Springer e-books
Subject:	C (Computer program language)
Online resource:	http://dx.doi.org/10.1007/978-1-84800-017-9
ISBN:	9781848000179 (electronic bk.)

Value-range analysis of C programstowards proving the absence of buffer overflow vulnerabilities /
Simon, Axel.

Value-range analysis of C programstowards proving the absence of buffer overflow vulnerabilities /[electronic resource] :by Axel Simon. - London :Springer-Verlag London,c2008. - xxii, 300 p. :ill., digital ;25 cm.

ISBN: 9781848000179 (electronic bk.)Subjects--Topical Terms:

181957
C (Computer program language)

LC Class. No.: QA76.73.C15 / S545 2008

Dewey Class. No.: 005.435

Value-range analysis of C programstowards proving the absence of buffer overflow vulnerabilities /
LDR:00801nmm 2200229 a 4500 001 253356
003 GreenPo
005 20100524144207.0
006 m d
007 cr nn 008maaau
008 100713s2008 enk s j eng d
020 $a 9781848000179 (electronic bk.)
020 $a 9781848000162 (paper)
035 $a 978-1-84800-016-2
050 0 4 $a QA76.73.C15 $b S545 2008
082 0 4 $a 005.435 $2 21
090 $a QA76.73.C15 $b S594 2008
100 1 $a Simon, Axel. $3 402451
245 1 0 $a Value-range analysis of C programs $h [electronic resource] : $b towards proving the absence of buffer overflow vulnerabilities / $c by Axel Simon.
260 $a London : $b Springer-Verlag London, $c c2008.
300 $a xxii, 300 p. : $b ill., digital ; $c 25 cm.
650 0 $a C (Computer program language) $3 181957
650 0 $a Memory management (Computer science) $3 189595
650 2 4 $a Numeric Computing. $3 275524
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 1 4 $a Computer Science. $3 212513
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer e-books
856 4 0 $u http://dx.doi.org/10.1007/978-1-84800-017-9
950 $a Computer Science (Springer-11645)