출처 :John Hatcliff, 785-532-6350,hatcliff@k-state.edu
편집자에 대한 참고 :Robby는 연구원의 성명입니다.
보도 준비 :Kristin Hodges, 785-532-6415,KHODGES2@K-State.edu

2010 년 1 월 5 일 화요일

K-State Computer Scientists 의료 시스템의 보안을 강화하기위한 기술 개발, 군사 데이터

맨해튼 - 컴퓨터가 환자 의료 기록 및 기타 민감한 강남 카지노를 점점 더 양도함에 따라 캔자스 주립 대학의 컴퓨터 과학자 그룹은 디자이너가 그러한 강남 카지노를 안전하게 유지하는 데 도움이되는 기본 연구를 수행하고 있습니다.

복잡한 강남 카지노 시스템은 우리나라의 인프라 및 방어력에 기초를 형성하며 이러한 시스템에는 보안 수준이 다른 데이터가 포함되어 있다고 K-STATE Computing and Information Sciences의 John Hatcliff는 말했다. 다양한 사용자간에 데이터가 교환되면 강남 카지노가 무단 당사자에게 강남 카지노를 공개 할 수있는 위험이 있습니다.

4380_4805

4824_5432

Hatcliff는 소프트웨어 실험실의 K-State의 사양, 분석 및 변환을 이끌고 있습니다. 실험실의 다른 컴퓨팅 및 강남 카지노 과학 교수 연구원은 Torban Amtoft와 Robby 부교수와 Simon OU 조교수입니다.

2009 년 3 월, 연구 그룹은 Princeton University의 연구원들과 협력하여 공군 과학 연구 사무소에서 5 년간 3 백만 달러의 보조금을 받았습니다. 연구원들은 강남 카지노 시스템을 보호하기위한 도구를 개발하여 대규모 시스템에서 강남 카지노가 전송되면 우연히 공개되지 않는다는 확신이 있습니다.

4859_5240

연구원들은 또한 커뮤니케이션 및 항공 전자 제품을 창출하는 회사 인 Rockwell Collins로부터 자금을 받고 있습니다. Rockwell Collins와의 작업에는 미국 국방 보안 연구 프로젝트에서 개발중인 여러 시스템에 K-State Research Team의 검증 도구를 적용하는 것이 포함됩니다.

Hatcliff는 강남 카지노 유출이 환자의 의료 기록과 의료 시스템의 잠재적 통합과 같은 많은 영역에서 문제라고 말했다.

7156_7794

Hatcliff는 K-State의 연구는 특수 컴퓨터 기반 감사 프로그램에서 사용할 수있는 수학적 및 논리적 모델을 작성하여 강남 카지노 시스템이 명시된 강남 카지노 흐름 정책을 준수하도록 보장하기 때문에 이러한 문제를 해결하기위한 약속을 보여줍니다..

연구원의 도구는 또한 시스템을 통해 흐르는 강남 카지노의 그래픽 시각화를 제공하여 설계자와 감사자가 시스템의 강남 카지노 흐름 동작을 더 빠르게 이해할 수 있도록합니다. 이 연구는 매우 높은 수준의 보증이 필요한 시스템에 중점을두고 있으며 시스템이 배포되기 전에 인증 단계에서 강남 카지노 흐름 정책에 대한 준수를 입증하는 것을 목표로합니다..

"소프트웨어 엔지니어링 및 검증 연구 커뮤니티에서는 기본 연구에 자금을 지원하기 위해 상당한 금액의 돈을 받고 그러한 고급 작업을 수행하는 회사가 기본 연구를 수행하고 적용 할 수있는 회사가 있다는 것은 매우 드 rare니다."Hatcliff는 말했습니다.

Princeton University와의 협력은 Princeton의 컴퓨터 과학과 교수 겸 회장 인 Andrew Appel과 함께합니다.

"우리는 프로그래머가 실제로 이러한 기술 중 일부를 실제 프로그램에 적용하는 데 도움이되는 도구를 구축하는 데 매우 능숙하며 Andrew는 기본 수학과 논리를 개발하는 데 매우 능숙합니다."라고 Hatcliff는 말했습니다. "우리는 더 나은 도구 모음을 만들기 위해 함께 노력하고 있습니다."

협업 규정을 통해 대학은 학생 방문 및 교환을 제공 할 것입니다. 이 보조금은 또한 K-State에서 4 명의 대학원생과 2 명의 학부생들을 위해 일합니다.