출처:오우 신밍, 785-532-6350,xou@토토 카지노state.edu
http://www.토토 카지노state.edu/media/mediaguide/bios/oubio.html
발음자:아, 오 같은 소리군요
웹사이트: http://www.cisa.ksu.edu/그리고http://www.nsa.gov/ia/academic_outreach/nat_cae/institutions.shtml
보도자료 작성자:케이티 메이스, 785-532-2535,kmayes@토토 카지노state.edu

2010년 6월 9일 수요일

K-STATE는 정보 보증 토토 카지노 분야 학문적 우수성의 국립 센터로 지정

MANHATTAN - 캔자스 주립대학교의 정보 및 시스템 보증 센터는 정보 보증 토토 카지노 분야에서 국립 학술 우수 센터로 선정되었습니다. 이 지정은 미국 국토안보부 및 국가안보국에서 결정하며 2015년까지 유효합니다.

"이 지정은 K-State에서 진행되는 사이버 보안 및 높은 보증 소프트웨어 토토 카지노에 대해 많은 것을 말해줍니다"라고 K-State 회장인 Kirk Schulz가 말했습니다. "우리 토토 카지노원들은 정보 및 컴퓨터 보안 분야에서 미국 최고의 인재들 중 하나입니다."

K-State의 정보 보증 토토 카지노 분야 학술 우수 센터(CAE-R)로의 지정은 6월 8일 메릴랜드 볼티모어 국립 전자 박물관에서 열린 기념식에서 공식화되었습니다.

CISA라고도 알려진 K-State 정보 및 시스템 보증 센터의 토토 카지노는 사이버 보안과 보안 소프트웨어 시스템 구축이라는 두 가지 범주로 분류됩니다. 컴퓨팅 및 정보 과학 조교수 Xinming Ou가 K-State의 지정 신청 노력을 주도했습니다.

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

보안 소프트웨어 시스템 구축에 대한 K-State 토토 카지노는 컴퓨팅 및 정보 과학 교수이자 SAnToS 토토 카지노소라고도 알려진 소프트웨어 사양, 분석 및 변환 토토 카지노소 소장인 John Hatcliff의 소관입니다. Hatcliff의 토토 카지노에는 정보가 적시에 적절한 사람들과 공유되고 유출이 방지되도록 보장하기 위해 특별한 컴퓨터 기반 감사 프로그램에서 사용할 수 있는 수학적 및 논리적 모델을 만드는 것이 포함됩니다.

"우리는 테스트 및 체계적인 검사와 같이 일반적으로 사용되는 기존의 품질 보증 기술을 넘어 논리와 다양한 유형의 수학을 모두 사용하여 소프트웨어를 모델링하는 방향으로 나아가고 있습니다."라고 Hatcliff는 말했습니다. "소프트웨어 동작을 설명하는 보다 엄격한 방법을 갖게 되면 수학적 추론과 논리적 추론을 사용하여 소프트웨어가 올바른지 여부를 체계적으로 확립할 수 있습니다."

이 분야에 대한 K-State의 작업으로 2009년에 대학은 공군 과학 토토 카지노실로부터 300만 달러의 보조금을 받았습니다. 보조금을 통해 K-State 토토 카지노원은 프린스턴 대학의 토토 카지노원과 협력하여 정보 시스템 보안 도구를 개발하고 있습니다. 따라서 정보가 대규모 시스템을 통해 전송될 때 실수로 공개되는 일이 없다는 확신이 있습니다.

사이버 보안 측면에서 Ou의 Argus 토토 카지노 그룹은 복잡한 네트워크 시스템의 보안을 관리하기 위한 과학적인 방법을 공식화하고 있습니다.

"사이버 보안은 비대칭 전쟁입니다"라고 그는 말했습니다. "공격자는 시스템을 손상시키기 위해 단 하나의 구멍만 찾으면 되는 반면, 방어자는 모든 구멍을 막아야 합니다. 자동화된 추론이 없다면 사이버 공간은 계속해서 악당들이 대혼란을 일으키는 황량한 서부가 될 것입니다."

Ou의 작업은 네트워크 관리자가 어떤 보안 침해가 발생했고 어떻게 발생했는지에 대한 결론에 도달하는 데 사용할 수 있는 자동화된 추론뿐만 아니라 시스템이 얼마나 안전한지 판단하는 정량적 측정항목을 제공함으로써 사이버 보안을 개선하는 것입니다. 이 작업 계열은 올해 초 Ou에게 수여된 430,000달러의 국립 과학 재단 CAREER 보조금을 포함하여 다양한 연방 및 산업 보조금의 지원을 받았습니다.

"이 국가 지정은 K-State가 지난 20년 동안 이 분야에서 구축한 전문 지식을 인정한 것입니다"라고 컴퓨팅 및 정보 과학 부서의 책임자인 Gurdip Singh이 말했습니다. "우리는 1980년대에 보안 정보 흐름 분야에서 세계 최초의 과학 토토 카지노를 진행했습니다. 현재 SANToS 토토 카지노소와 Argus 그룹은 해당 토토 카지노를 새로운 차원으로 끌어올리고 있습니다.

"사이버 보안 분야의 차세대 리더를 양성하기 위한 강력한 교육 프로그램을 구축하기 때문에 사이버 보안 토토 카지노는 우리 부서의 전략적 영역입니다."라고 그는 말했습니다.

토토 카지노 프로그램의 학문적 우수성 센터는 3년차이며 K-State는 캔자스에서 토토 카지노 지정을 받은 유일한 대학입니다.

토토 카지노State 정보 및 시스템 보증 센터의 다른 구성원은 다음과 같습니다: Torben Amtoft, 컴퓨팅 및 정보 과학 부교수; 컴퓨팅 및 정보 과학 부교수 Dan Andresen;