Инструментальное средство проверки безопасности кода, предназначенного для исполнения в Грид-сетях

А. А. Станкевичус

Аннотация


В работе анализируются методы и средства защиты Грид-сетей от вредоносного кода, их преимущества и недостатки. предлагается новое инструментальное средство, позволяющее в автоматическом режиме подтверждать безопасность программ на языке Си, предназначенных для Грид-сетей.

Полный текст:

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
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.