Geodesic
Using Simplex Method in Verifying Software Safety
Yugoslav journal of operations research, Tome 19 (2009) no. 1, p. 133 Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Voir la notice de l'article

In this paper we have discussed the application of the Simplex method in checking software safety - the application in automated detection of buffer overflows in C programs. This problem is important because buffer overflows are suitable targets for hackers' security attacks and sources of serious program misbehavior. We have also described our implementation, including a system for generating software correctness conditions and a Simplex based theorem prover that resolves these conditions.
Classification : 90C05 90C90
Keywords: Simplex method, software safety, buffer overflows. 
@article{YJOR_2009_19_1_a9,
     author = {Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c and Filip Mari\'c and Du\v{s}an To\v{s}i\'c},
     title = {Using {Simplex} {Method} in {Verifying} {Software} {Safety}},
     journal = {Yugoslav journal of operations research},
     pages = {133 },
     year = {2009},
     volume = {19},
     number = {1},
     zbl = {1274.90227},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_2009_19_1_a9/}
}
TY  - JOUR
AU  - Milena Vujošević-Janičić
AU  - Filip Marić
AU  - Dušan Tošić
TI  - Using Simplex Method in Verifying Software Safety
JO  - Yugoslav journal of operations research
PY  - 2009
SP  - 133 
VL  - 19
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/YJOR_2009_19_1_a9/
LA  - en
ID  - YJOR_2009_19_1_a9
ER  - 
%0 Journal Article
%A Milena Vujošević-Janičić
%A Filip Marić
%A Dušan Tošić
%T Using Simplex Method in Verifying Software Safety
%J Yugoslav journal of operations research
%D 2009
%P 133 
%V 19
%N 1
%U http://geodesic.mathdoc.fr/item/YJOR_2009_19_1_a9/
%G en
%F YJOR_2009_19_1_a9
Milena Vujošević-Janičić; Filip Marić; Dušan Tošić. Using Simplex Method in Verifying Software Safety. Yugoslav journal of operations research, Tome 19 (2009) no. 1, p. 133 . http://geodesic.mathdoc.fr/item/YJOR_2009_19_1_a9/