|
|
004.422.8
S61
Simon, A.
Value-Range analysis of c programs [Electronic resource] : towards proving the absence of buffer overflow vulnerabilities / A. Simon. - Electronic text data. - London : Springer, 2008. - ISBN 978-1-84800-017-9 : Б. ц.
Кл.слова (ненормированные):
программы для эвм -- анализ -- математическое обеспечение -- ошибки -- уязвимость
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
|
|