출처 :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는 말했다. 다양한 사용자간에 데이터가 교환되면 카지노 입플가 무단 당사자에게 카지노 입플를 공개 할 수있는 위험이 있습니다.

정부와 산업이 건강 관리, 군사 및 재난 구호를 포함한 많은 분야에서 점점 더 복잡한 카지노 입플 시스템을 향한 정부와 산업이 추진함에 따라 안전한 카지노 입플 흐름을 보장하는 능력이 점점 중요 해지고 있다고 Hatcliff는 말했다. 그렇기 때문에 K-State 컴퓨터 과학자들은 그러한 시스템의 보안과 무결성을 강화하기 위해 고급 정책 언어와 검증 기술을 개발하는 이유입니다.

"건강 관리 또는 군사 카지노 입플이든 사람들이 실제로 원하는 것은 카지노 입플를 필요로하는 사람에게 빠르게 카지노 입플를 빠르게 밀어내는 능력"이라고 Hatcliff는 말했다. "당신은 의사가 더 큰 전장 운영의 맥락에서 기동을 조정하려고 노력하는 의사가있을 수 있습니다. 어느 경우 모두 더 많은 카지노 입플는 더 나은 의사 결정과 더 나은 결과로 이어집니다. 그러나 의사 결정자에게 카지노 입플를 적극적으로 추진할 때, 당신은 당신이 그것을 보지 말아야 할 사람에게 우연히 민감한 카지노 입플를 누출하지 않도록해야합니다.".

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

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

"우리는 디자이너와 분석가가 어떤 카지노 입플가 한 지점에서 다른 지점으로, 어떤 조건으로 어떤 카지노 입플를 흘릴 수 있는지를 정확하게 진술 할 수있게하는 새로운 형태의 수학적 모델과 논리에 대한 기본 연구를하고있다"고 Hatcliff는 말했다.

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

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

"연방 및 주 정부에 의해 건강 카지노 입플 교환을 설정하기 위해 수백만 달러가 투자되고있다"고 말했다. "그러한 교환의 아이디어는 다양한 당사자들 사이에서 환자 의료 카지노 입플 교환을 촉진하고 중재하는 기술 조직이 있다는 것입니다. 환자의 기록의 카지노 입플는 다른 수준의 민감도 또는 보안 수준을 가지고 있다는 것입니다. 이러한 교환은 결국 카지노 입플를 공개 할 수있는 카지노 입플를 설명하는 방법을 지정하는 방법을 필요로 할 것이며, 교환은 정책을 보장 할 필요가있을 것입니다."

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

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

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

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

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

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