출처:존 해클리프, 785-532-6350,hatcliff@k-state.edu
편집자 참고사항:로비는 연구원의 성명입니다.
보도자료 작성자:크리스틴 호지스, 785-532-6415,khodges2@k-state.edu

2010년 1월 5일 화요일

K-State 컴퓨터 과학자들이 의료, 군사 데이터를 담당하는 일본 카지노 시스템의 보안을 강화하기 위한 기술을 개발

MANHATTAN -- 컴퓨터가 환자 의료 기록 및 기타 민감한 일본 카지노를 점점 더 많이 전송함에 따라 캔자스 주립 대학의 컴퓨터 과학자 그룹은 설계자가 이러한 일본 카지노를 안전하게 유지하는 데 도움이 되는 기초 연구를 수행하고 있습니다.

복잡한 일본 카지노 시스템은 우리나라의 인프라와 국방군의 기초를 형성하며 이러한 시스템에는 다양한 보안 수준의 데이터가 포함되어 있다고 K-State 컴퓨팅 및 일본 카지노 과학 교수인 John Hatcliff가 말했습니다. 다양한 사용자 간에 데이터가 교환되면서 일본 카지노가 승인되지 않은 당사자에게 공개될 위험이 있습니다.

정부와 업계가 의료, 군대 및 재난 구호 조정을 포함한 여러 분야에서 점점 더 복잡해지는 일본 카지노 시스템을 추진함에 따라 안전한 일본 카지노 흐름을 보장하는 능력이 더욱 중요해지고 있다고 Hatcliff는 말했습니다. 이것이 바로 K-State 컴퓨터 과학자들이 그러한 시스템의 보안과 무결성을 강화하기 위해 높은 수준의 정책 언어와 검증 기술을 개발하고 있는 이유입니다.

"의료 일본 카지노든 군사 일본 카지노든, 사람들이 정말로 원하는 것은 일본 카지노가 필요한 누구에게나 신속하게 일본 카지노를 전달할 수 있는 능력입니다."라고 Hatcliff는 말했습니다. "의사가 진단을 내리려고 할 수도 있고 소대장이 대규모 전장 작전의 맥락에서 기동을 조정하려고 할 수도 있습니다. 두 경우 모두 일본 카지노가 많을수록 더 나은 의사 결정과 더 나은 결과로 이어집니다. 그러나 이를 수행해야 합니다.

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

2009년 3월, 연구 그룹은 프린스턴 대학의 연구원들과 협력하여 공군 과학 연구실로부터 5년간 300만 달러의 보조금을 받았습니다. 연구원들은 일본 카지노가 대규모 시스템에 전송될 때 실수로 공개되는 일이 없다는 확신을 갖도록 일본 카지노 시스템을 보호하는 도구를 개발하고 있습니다.

"우리는 설계자와 분석가가 어떤 일본 카지노가 한 지점에서 다른 지점으로 어떤 조건에서 흐를 수 있는지 정확하게 기술할 수 있는 새로운 형태의 수학적 모델과 논리에 대한 기초 연구를 수행하고 있습니다."라고 Hatcliff는 말했습니다. "그런 다음 우리는 사람들이 이러한 수학적 기술을 사용하여 시스템이 올바른지 확인하는 데 도움이 되는 도구를 구축하고 있습니다."

또한 연구원들은 통신 및 항공 전자 장치를 만드는 회사인 Rockwell Collins로부터 자금을 지원받고 있습니다. Rockwell Collins와의 작업에는 미국 국방부 보안 연구 프로젝트에서 개발 중인 여러 시스템에 K-State 연구팀의 검증 도구를 적용하는 작업이 포함됩니다.

Hatcliff는 환자의 의료 기록과 의료 시스템의 통합 가능성과 같은 다양한 영역에서 일본 카지노 유출이 우려된다고 말했습니다.

"연방 및 주 정부는 건강 일본 카지노 교환을 구축하기 위해 수백만 달러를 투자하고 있습니다"라고 Hatcliff는 말했습니다. "이러한 교환의 아이디어는 다양한 당사자 간의 환자 의료 일본 카지노 교환을 촉진하고 중재하는 기술 조직이 있다는 것입니다. 문제는 환자 기록에 있는 일본 카지노의 민감도나 보안 수준이 서로 다르다는 것입니다. 이러한 교환은

Hatcliff는 K-State의 연구는 일본 카지노 시스템이 명시된 일본 카지노 흐름 정책을 준수하도록 보장하기 위해 특수 컴퓨터 기반 감사 프로그램에서 사용할 수 있는 수학적 및 논리적 모델을 생성하는 것을 포함하기 때문에 이러한 문제를 해결할 가능성을 보여 준다고 말했습니다.

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

"소프트웨어 엔지니어링 및 검증 연구 커뮤니티에서 기초 연구에 자금을 지원하기 위해 상당한 금액을 받고 이러한 고급 작업을 수행하는 회사에서 기본 연구를 수행하고 적용하기 위해 자금을 지원하는 경우는 매우 드뭅니다." Hatcliff 말했다.

프린스턴 대학교와의 협력은 프린스턴 컴퓨터 공학과 교수이자 학과장인 Andrew Appel과 함께 이루어졌습니다.

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

협력 규정을 통해 대학은 학생 방문 및 교류를 제공할 것입니다. 또한 이 보조금은 K-State의 대학원생 4명과 학부생 2명을 위한 자금 지원이기도 합니다.