출처 :Xinming OU, 785-532-6350,xou@카지노 사이트.edu
http://www.카지노 사이트.edu/media/mediaguide/bios/oubio.html
Pronouncer :OU는 OH
웹 사이트 : http://www.cisa.ksu.edu/andhttp://www.nsa.gov/ia/academic_outreach/nat_cae/institutions.shtml
보도 준비 :Katie Mayes, 785-532-2535,kmayes@카지노 사이트.edu

2010 년 6 월 9 일 수요일

카지노 사이트 정보 보증 연구에서 전국 학업 우수 센터로 지정

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

4120_4406

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

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

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

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

5694_6122

카지노 사이트의 작업이 지역에서 카지노 사이트의 작업은 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, 컴퓨팅 및 정보 과학 부교수;