出典: 王シンミン, 785-532-6350, xou@k-state.スポーツベットアイオー ボーナスu
http://www.k-state.スポーツベットアイオー ボーナスu/mスポーツベットアイオー ボーナスia/mスポーツベットアイオー ボーナスiaguide/bios/oubio.html
発音者: ああ、ああのように聞こえる
ウェブサイト: http://www.cisa.ksu.スポーツベットアイオー ボーナスu/ そして http://www.nsa.gov/ia/academic_outreach/nat_cae/institutions.shtml
ニュースリリースの作成者: ケイスポーツベットアイオー ボーナス メイズ, 785-532-2535, kmayes@k-state.スポーツベットアイオー ボーナスu

水曜日, 6 月 9 日, 2010

K州がスポーツベットアイオー ボーナス保証研究における優秀な国立学術センターに指定

マンハッタン -- カンザス州立大学のスポーツベットアイオー ボーナスおよびシステム保証センターが、スポーツベットアイオー ボーナス保証研究における国立学術優秀センターに選ばれました. 指定は米国によって行われます.S. 国土安全保障省および国家安全保障局、2015 年まで有効.

"この指定は、K 州立大学で行われているサイバーセキュリスポーツベットアイオー ボーナスと高保証ソフトウェアの研究を雄弁に物語っています," カーク・シュルツは言った, K州大統領. "当社の研究者は、情報とコンピュータのセキュリスポーツベットアイオー ボーナスに関しては国内で最も優秀な人材です."

スポーツベットアイオー ボーナス保証研究における国立学術卓越センター（CAE-R）としてのK州の指定が、6月8日にボルチモアの国立電子博物館で行われた式典で正式に決定された, MD.

K 州の情報およびシステム保証センターでの研究 – CISAとしても知られています– サイバーセキュリティと安全なソフトウェア システム構築の 2 つのカテゴリに分類されます. 王シンミン, スポーツベットアイオー ボーナス助教授, 指定申請においてK州の取り組みを主導.

"サイバーセキュリスポーツベットアイオー ボーナス問題の原因のほとんどはソフトウェアの脆弱性に関係しています, これらはソフトウェア開発者が犯した間違いです," 彼は言いました. "私たちは、ソフトウェアのセキュリスポーツベットアイオー ボーナスを向上させるために適用できる自動プログラム検証技術と言語概念を開発することにより、ソフトウェアの品質を向上させるための科学的方法を調査し、研究してきました."

安全なソフトウェア システム構築に関するK州の研究はジョン ハクリフの管轄に属する, スポーツベットアイオー ボーナス教授および仕様研究所の所長, ソフトウェアの分析と変換, SAnToS 研究所としても知られています. ハトクリフの研究には、情報が適切なタイミングで適切な人物と共有され、漏洩が防止されることを保証する特別なコンピュータベースの監査プログラムで使用できる数学的および論理的モデルの作成が含まれます.

"私たちは、一般的に使用されている従来の品質保証技術を超えて進んでいます, テストや系統的な検査が好き, ロジックとさまざまな種類の数学の両方を使用してソフトウェアをモデル化する," ハットクリフは言った. "ソフトウェアの動作を記述するこれらのより厳密な方法が得られたら, これにより、数学的推論と論理的推論を使用して、ソフトウェアが正しいかどうかを体系的に確立することができます."

この分野におけるK州の研究により、2009年に大学は空軍科学研究局から300万ドルの助成金を獲得しました. 補助金があれば, K州立大学の研究者はプリンストン大学の研究者と協力して、大規模システム間でスポーツベットアイオー ボーナスが転送される際にスポーツベットアイオー ボーナスシステムを保護するツールを開発中, 何も偶然に明らかになったという自信はありません.

サイバーセキュリスポーツベットアイオー ボーナス面について, Ou の Argus 研究グループは、複雑なネットワーク システムのセキュリスポーツベットアイオー ボーナスを管理するための科学的手法を策定中.

"サイバーセキュリスポーツベットアイオー ボーナスは非対称戦争である," 彼は言いました. "攻撃者はシステムを侵害する穴を 1 つ見つけるだけで済みます, 一方、守備側はすべてを封鎖しなければならない. 自動推論なし, サイバースペースは今後も西部開拓時代であり続けるでしょう, 悪者たちが大混乱を引き起こす場所."

Ou の研究は、ネットワーク管理者がどのようなセキュリスポーツベットアイオー ボーナス違反がどのように発生したかについて結論に達するために使用できる自動化された推論を提供することにより、サイバーセキュリスポーツベットアイオー ボーナスを向上させることを目指しています, システムの安全性を判断するための定量的な指標も. この分野の仕事は多くの連邦および産業補助金によって支援されています, 0 を含む,000 国立科学財団キャリア補助金が今年初めに王に授与されました.

"この国家指定は、K 州が過去 20 年間にわたってこの分野で築いてきた専門知識を表彰するものです," グルディップ・シンは言った, スポーツベットアイオー ボーナス学部長. "私たちは 1980 年代に、安全な情報の流れの分野で世界最古の科学的研究の 1 つを行っていました. 今日, SAnToS 研究所と Argus グループは、その研究を新たな高みに引き上げています.

"サイバーセキュリスポーツベットアイオー ボーナス研究は、サイバーセキュリスポーツベットアイオー ボーナス分野の次世代リーダーを訓練するための強力な教育プログラムを構築する当部門の戦略的分野です," 彼は言いました.

Center of Academic Excellence in Research プログラムは 3 年目を迎えています, そしてK州立大学はカンザス州で研究指定を受けた唯一の大学.

K州情報およびシステム保証センターの他のメンバーは次のとおりです: Torben Amtoft, スポーツベットアイオー ボーナス准教授; ダン・アンドレセン, スポーツベットアイオー ボーナス准教授; スコット・デローチ, スポーツベットアイオー ボーナス准教授; ロビー, スポーツベットアイオー ボーナス准教授; デビッド・シュミット, スポーツベットアイオー ボーナス教授; ノエル・シュルツ, 電気およびコンピュータ工学の教授; クレイグ・ステイプリー, 政治学の助教授; デビッド ストーン, 歴史学の教授; ジュリー・ソーントン, スポーツベットアイオー ボーナス講師; ハーバード タウンゼント, K州の最高情報セキュリティ責任者; そしてヴァージル・ワレンティーン, スポーツベットアイオー ボーナス教授.