Loading article…
オウル大学セキュアプログラミンググループ（OUSPG ）は、オウル大学の研究グループであり、アプリケーションおよびシステムソフトウェアの実装とテストの方法を研究、評価、開発することで、実装レベルのセキュリティ脆弱性を予防、発見、排除することを目的としています。重点分野は、実装レベルのセキュリティ問題とソフトウェアセキュリティテストです。
OUSPGは、1996年夏以来、オウル大学電気情報工学科のコンピュータ工学研究室において、独立した学術研究グループとして活動している。
OUSPGは、 PROTOSミニシミュレーション手法を用いたプロトコル実装セキュリティテスト（堅牢性テストと呼ばれる）への参加で最もよく知られています。 [ 1 ]
PROTOSは、VTTおよび多数の産業パートナーとの共同プロジェクトでした。このプロジェクトでは、ブラックボックス（すなわち機能）テスト手法を用いてプロトコルの実装をテストするさまざまなアプローチを開発しました。目標は、情報セキュリティに影響を与える欠陥を事前に排除し、これらの問題に対する意識を高め、顧客主導の実装評価および受け入れテストを支援する手法を開発することでした。開発プロセスを支援することで、製品のセキュリティ堅牢性の向上を図りました。
PROTOSプロジェクトの最も注目すべき成果は、 SNMPの複数の脆弱性を発見したc06-snmpテストスイートの結果である。
PROTOSで行われた研究はPROTOS-GENOMEで継続されており、プロトコル文法に関する事前知識がなくても、自動構造推論とドメイン固有の推論機能を組み合わせることで、自動化されたブラックボックス型プログラムの堅牢性テストツールを実現しています。この研究により、アーカイブファイルやアンチウイルス製品に多数の脆弱性が発見されました。
このグループは2つのスピンオフ企業を生み出しており、CodenomiconはPROTOSの活動を引き継ぎ、Clarified NetworksはFRONTIERの活動を引き継いでいる。
As of 12:21, 30 July 2009 (UTC), this article is derived in whole or in part from University of Oulu. The copyright holder has licensed the content in a manner that permits reuse under CC BY-SA 3.0 and GFDL. All relevant terms must be followed.The original text was at "Oulu University Secure Programming Group"