Инструментальное средство проверки безопасности кода, предназначенного для исполнения в Грид-сетях
Аннотация
Полный текст:
PDFЛитература
1 Clam AntiVirus. URL: http://www.clamav.net/.
2 The ASTREE Static Analyzer. URL: http://www.astree.ens.fr/.
3 OWASP SWAAT Project. URL: http://www.owasp.0rg/index.php/Category:OWASP_SWAAT_Project.
4 CCured documentation. URL: http://manju.cs.berkeley.edu/ccured/.
5 Calder Brad, Chien Andrew A., Wang Ju, Yang Don. The entropia virtual machine for desktop grids // Proceedings of the 1st ACM/USENIX International Conference on Virtual Execution Environments, June 11—12, 2005, Chicago, IL, USA.
6 Barham P., Dragovic B., Fraser K., Hand S., Harris T., Ho A., Neugebauer R., Pratt I., Warfield A. Xen and the art of virtualization // SOSP ‘03: Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles. NY, USA, 2003. ACM Press. Р. 164-177.
7 Saraswat Vijay. Java is not type-safe. URL: http://www.cis.upenn.edu/~bcpierce/courses/629/papers/Saraswat-javabug.html.
8 Kerberos Leveraged PKI. URL: http://www.citi.umich.edu/projects/kerb_pki/.
9 Cousot Patrick. Abstract interpretation // ACM Computing Surveys (CSUR). Vol. 28. № 2. June 1996. Р. 324-328.
Ссылки
- На текущий момент ссылки отсутствуют.
![Лицензия Creative Commons](http://i.creativecommons.org/l/by/4.0/88x31.png)
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.