Nguồn:Xinming OU, 785-532-6350,xou@bóng đá số dữ liệuedu
http: //www.bóng đá số dữ liệuedu/media/mediaguide/bios/oubio.html
pronouncer:OU nghe như OH
Trang web: http: //www.cisa.ksu.edu/và3255_3323
Phát hành bóng đá số dữ liệu tức được chuẩn bị bởi:Katie Mayes, 785-532-2535,kmayes@bóng đá số dữ liệuedu

Thứ Tư, ngày 9 tháng 6 năm 2010

K-State được chỉ định là Trung tâm nghiên cứu đảm bảo bóng đá số dữ liệu quốc gia

Manhattan - Trung tâm đảm bảo hệ thống và thông tin của Đại bóng đá số dữ liệu bang Kansas đã được đặt tên là Trung tâm xuất sắc bóng đá số dữ liệu thuật quốc gia trong nghiên cứu đảm bảo thông tin. Việc chỉ định được thực hiện bởi Bộ An ninh Nội địa và An ninh Quốc gia Hoa Kỳ và có hiệu lực đến năm 2015.

"Chỉ định này nói lên rất nhiều về nghiên cứu phần mềm an ninh mạng và bảo hiểm cao đang diễn ra tại K-State," Kirk Schulz, chủ tịch K-State cho biết. "Các nhà nghiên cứu của chúng tôi là một trong những tâm trí tốt nhất trong cả nước khi nói đến bóng đá số dữ liệu và bảo mật máy tính."

Chỉ định của K-State là một trung tâm xuất sắc trong nghiên cứu đảm bảo bóng đá số dữ liệu quốc gia-hoặc CAE-R-đã trở thành chính thức tại một buổi lễ ngày 8 tháng 6 tại Bảo tàng Điện tử Quốc gia ở Baltimore, MD.

Nghiên cứu tại Trung tâm thông tin và hệ thống của K-State-còn được gọi là CISA-rơi vào hai loại: Xây dựng hệ thống phần mềm an toàn và an toàn. Xinming OU, Trợ lý Giáo sư Khoa bóng đá số dữ liệu Điện toán và Thông tin, đã dẫn đầu nỗ lực của K-State trong việc áp dụng cho chỉ định.

"Hầu hết các nguyên nhân của các vấn đề an ninh mạng phải làm với các lỗ hổng phần mềm, đó là những sai lầm của các nhà phát triển phần mềm," ông nói. "Chúng tôi đã điều tra và khám phá các phương pháp khoa bóng đá số dữ liệu để cải thiện chất lượng phần mềm bằng cách phát triển các kỹ thuật xác minh chương trình tự động và các khái niệm ngôn ngữ có thể được áp dụng để cải thiện bảo mật phần mềm."

Nghiên cứu K-State về Xây dựng hệ thống phần mềm an toàn thuộc John Hatcliff, Giáo sư Khoa bóng đá số dữ liệu Máy tính và Thông tin và Giám đốc Phòng thí nghiệm về Đặc điểm kỹ thuật, Phân tích và Chuyển đổi phần mềm, còn được gọi là Phòng thí nghiệm Santos. Nghiên cứu của Hatcliff liên quan đến việc tạo ra các mô hình toán bóng đá số dữ liệu và logic có thể được sử dụng bởi các chương trình kiểm toán dựa trên máy tính đặc biệt để đảm bảo rằng thông tin được chia sẻ với đúng người vào đúng thời điểm và rò rỉ được ngăn chặn.

"Chúng tôi đang vượt ra ngoài các kỹ thuật đảm bảo chất lượng thông thường được sử dụng phổ biến, như kiểm tra và kiểm tra có hệ thống, sử dụng cả logic và các loại toán khác nhau để mô hình hóa phần mềm," Hatcliff nói. "Một khi chúng ta có những cách mô tả nghiêm ngặt hơn để mô tả hành vi phần mềm, chúng ta có thể thiết lập một cách có hệ thống - sử dụng lý luận toán bóng đá số dữ liệu và lý luận logic - liệu phần mềm có chính xác không."

Công trình của K-State trong khu vực này đã thu về khoản tài trợ 3 triệu đô la từ Văn phòng Nghiên cứu Khoa bóng đá số dữ liệu Không quân năm 2009. Với khoản tài trợ, các nhà nghiên cứu K-State đang hợp tác với các nhà nghiên cứu tại Đại bóng đá số dữ liệu Princeton để phát triển các công cụ để bảo mật các hệ thống thông tin để thông tin được chuyển qua các hệ thống lớn, không có gì là vô tình.

Về phía an ninh mạng, Nhóm nghiên cứu Argus của OU đang xây dựng các phương pháp khoa bóng đá số dữ liệu để quản lý bảo mật của các hệ thống mạng phức tạp.

"An ninh mạng là một chiến tranh không đối xứng", ông nói. "Những kẻ tấn công chỉ cần tìm một lỗ để thỏa hiệp một hệ thống, trong khi những người bóng đá số dữ liệu vệ phải cắm tất cả. Không có lý luận tự động, không gian mạng sẽ tiếp tục là miền Tây hoang dã, nơi những kẻ xấu sẽ tàn phá."

Công việc của OU tìm cách cải thiện an ninh mạng bằng cách cung cấp lý luận tự động mà quản trị viên mạng có thể sử dụng để đưa ra kết luận về những vi phạm bảo mật đã xảy ra và cách chúng xảy ra, cũng như các số liệu định lượng để xác định hệ thống an toàn như thế nào. Dòng công việc này đã được hỗ trợ bởi một số khoản tài trợ liên bang và công nghiệp, bao gồm khoản tài trợ nghề nghiệp khoa bóng đá số dữ liệu khoa bóng đá số dữ liệu quốc gia trị giá 430.000 đô la được trao cho OU vào đầu năm nay.

"Chỉ định quốc gia này là một sự công nhận về chuyên môn K-State đã xây dựng trong lĩnh vực này trong 20 năm qua," Gurdip Singh, người đứng đầu Khoa Khoa bóng đá số dữ liệu Máy tính và Thông tin cho biết. "Chúng tôi đã có một trong những công trình khoa bóng đá số dữ liệu sớm nhất thế giới trong lĩnh vực lưu lượng thông tin an toàn trở lại vào những năm 1980. Hôm nay, Phòng thí nghiệm Santos và nhóm Argus đang đưa nghiên cứu đó lên một tầm cao mới.

"Nghiên bóng đá số dữ liệu an ninh mạng là một lĩnh vực chiến lược cho bộ phận của chúng tôi khi chúng tôi xây dựng một chương trình giáo dục mạnh mẽ để đào tạo thế hệ lãnh đạo tiếp theo trong lĩnh vực an ninh mạng," ông nói.

Trung tâm của chương trình nghiên cứu xuất sắc trong bóng đá số dữ liệu tập là năm thứ ba và K-State là trường đại bóng đá số dữ liệu duy nhất ở Kansas đã nhận được chỉ định nghiên cứu.

Các thành viên khác của Trung tâm thông tin và hệ thống của K-State là: Torben Amtoft, Phó giáo sư máy tính và khoa bóng đá số dữ liệu thông tin; Dan Andresen, phó giáo sư về khoa bóng đá số dữ liệu máy tính và thông tin;