출처 :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 년까지 유효합니다.

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, 컴퓨팅 및 정보 과학 부교수;