新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Back

Value-range analysis of C programs =...

SpringerLink (Online service)

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Value-range analysis of C programs/ by 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:	Computer Science. -
Online resource:	http://dx.doi.org/10.1007/978-1-84800-017-9
ISBN:	9781848000179 (electronic bk.)

Value-range analysis of C programs = towards 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:

120417
Computer Science.

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

Dewey Class. No.: 005.435

Value-range analysis of C programs = towards proving the absence of buffer overflow vulnerabilities /
LDR:00801nmm 2200229 a 4500 001 197557
003 GreenPo
005 20100524144207.0
006 m d
007 cr nn 008maaau
008 170626s2008 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 379834
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 : $c c2008. $b Springer-Verlag London,
300 $a xxii, 300 p. : $b ill., digital ; $c 25 cm.
650 1 4 $a Computer Science. $3 120417
650 2 4 $a Logics and Meanings of Programs. $3 122248
650 2 4 $a Software Engineering. $3 121004
650 2 4 $a Numeric Computing. $3 122477
650 0 $a Memory management (Computer science) $3 358385
650 0 $a C (Computer program language) $3 88893
710 2 $a SpringerLink (Online service) $3 120363
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)

Multimedia

Reviews

Export

pickup library