Полное описание

004.422.8/S61-343376
Simon, A. Value-Range analysis of c programs : towards proving the absence of buffer overflow vulnerabilities / A. Simon. - Electronic text data. - London : Springer, 2008. - URL: http://dx.doi.org/10.1007/978-1-84800-017-9. - ISBN 978-1-84800-017-9.

ГРНТИ	УДК
50.41.17	004.422.8

Кл.слова (ненормированные): программы для эвм -- анализ -- математическое обеспечение -- ошибки -- уязвимости
Доп. точки доступа:
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-1-84800-017-9

Просмотр издания