출처 :Xinming 온라인카지노추천, 785-532-6350,xou@온라인카지노추천.edu
http://www.온라인카지노추천.edu/media/mediaguide/bios/oubio.html
Pron온라인카지노추천ncer :온라인카지노추천는 OH
웹 온라인카지노추천트 : http://www.cisa.ksu.edu/andhttp://www.nsa.gov/ia/academic_온라인카지노추천treach/nat_cae/institutions.shtml
보도 준비 :Katie Mayes, 785-532-2535,kmayes@온라인카지노추천.edu

2010 년 6 월 9 일 수요일

온라인카지노추천 정보 보증 연구에서 전국 학업 우수 센터로 지정

맨해튼 - 캔자스 주립 대학의 정보 및 시스템 센터는 정보 보증 온라인카지노추천의 전국 학업 우수 센터로 선정되었습니다. 이 명칭은 미국 국토 안보부 및 국가 안보국에 의해 이루어지며 2015 년까지 유효합니다.

"이 지정은 온라인카지노추천에서 진행되는 사이버 보안 및 고 자신의 소프트웨어 연구에 대해 볼륨을 말한다"고 말했다. "온라인카지노추천의 연구원들은 정보와 컴퓨터 보안에있어서 나라에서 최고의 생각 중 하나입니다."

온라인카지노추천의 정보 보증 연구의 전국적 우수 센터로서의 지정-6 월 8 일 미주리 주 볼티모어에있는 National Electronics Museum에서 열린 행사에서 공식화되었습니다.

온라인카지노추천의 정보 및 시스템 센터에 대한 연구-CISA라고도 함-사이버 보안과 보안 소프트웨어 시스템 구성의 두 가지 범주에 속합니다. Computing and Information Sciences의 조교수 인 Xinming OU는 지정 신청에 대한 온라인카지노추천의 노력을 이끌었습니다.

"사이버 보안 문제의 대부분의 원인은 소프트웨어 개발자의 실수 인 소프트웨어 취약점과 관련이 있습니다." "온라인카지노추천는 소프트웨어 보안을 개선하기 위해 적용 할 수있는 자동화 된 프로그램 검증 기술 및 언어 개념을 개발하여 소프트웨어 품질을 향상시키기위한 과학적 방법을 조사하고 탐구했습니다."

보안 소프트웨어 시스템 건설에 대한 온라인카지노추천 Research는 Computing and Information Sciences 교수 인 John Hatcliff 및 Santos Laboratory라고도하는 소프트웨어의 사양, 분석 및 변환을위한 실험실의 이사 하에서 떨어집니다. Hatcliff의 연구는 특수 컴퓨터 기반 감사 프로그램에서 사용할 수있는 수학적 및 논리적 모델을 작성하여 정보가 적절한 시간에 올바른 사람들과 공유되고 유출이 예방되도록 보장합니다..

"온라인카지노추천는 테스트 및 체계적인 검사와 같이 공통적으로 사용되는 기존의 품질 보증 기술을 넘어 논리와 다른 유형의 수학에 모델 소프트웨어를 사용하는 것으로 이동하고있다"고 Hatcliff는 말했다. "온라인카지노추천가 소프트웨어 행동을 설명하는 이러한보다 엄격한 방법을 갖게되면, 온라인카지노추천는 소프트웨어가 올바른지 여부에 관계없이 수학적 추론과 논리적 추론을 사용하여 체계적으로 확립 할 수 있습니다.".

온라인카지노추천의 작업이 지역에서 온라인카지노추천의 작업은 2009 년 공군 과학 연구 사무소에서 3 백만 달러의 보조금을받습니다. 보조금을 통해 온라인카지노추천 연구원들은 Princeton University의 연구원들과 협력하여 정보 시스템을 확보하기위한 도구를 개발하여 대규모 시스템 전반에 걸쳐 정보가 전달 될 때 우연히 밝혀지지 않을 것입니다..

온라인카지노추천버 보안 측면에서 OU의 Argus Research Group은 복잡한 네트워크 시스템의 보안을 관리하기위한 과학적 방법을 공식화하고 있습니다.

"온라인카지노추천버 보안은 비대칭 전쟁입니다." "공격자는 시스템을 손상시키기 위해 하나의 구멍 만 찾아야하는 반면, 수비수는 그들 모두를 막아야합니다. 자동화 된 추론이 없으면 온라인카지노추천버 공간은 계속해서 Wild West가 될 것입니다.

OU의 작업은 네트워크 관리자가 보안 위반이 발생한 일과 어떻게 발생했는지에 대한 결론에 도달 할 수있는 자동화 된 추론을 제공함으로써 사이버 보안을 개선하려고 노력합니다. 이 작업 온라인카지노추천은 올해 초 OU에 수여 된 430,000 달러의 National Science Foundation 커리어 보조금을 포함하여 여러 연방 및 산업 보조금으로 지원되었습니다.

"이 국가 명칭은 온라인카지노추천가 지난 20 년 동안이 분야에 건설 한 전문 지식을 인정 한 것입니다. "온라인카지노추천는 1980 년대에 안전한 정보 흐름 분야에서 세계 최초의 과학 작품 중 하나를 가졌습니다. 오늘날 Santos Laboratory와 Argus Group은 그 연구를 새로운 차원으로 끌어 올리고 있습니다..

"사이버 보안 온라인카지노추천는 사이버 보안 분야에서 차세대 리더를 훈련시키기위한 강력한 교육 프로그램을 구축함에 따라 부서의 전략적 영역입니다."

연구 프로그램의 Academic Excellence Center는 3 년째이며 온라인카지노추천는 캔자스에서 유일하게 연구 지정을받은 대학입니다..

온라인카지노추천의 정보 및 시스템 센터의 다른 구성원은 다음과 같습니다. Torben Amtoft, 컴퓨팅 및 정보 과학 부교수; Dan Andresen, 컴퓨팅 및 정보 과학 부교수;