TAILIEUCHUNG - báo cáo hóa học: " Formal reconstruction of attack scenarios in mobile ad hoc and sensor networks"

Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Formal reconstruction of attack scenarios in mobile ad hoc and sensor networks | Rekhis and Boudriga EURASIP Journal on Wireless Communications and Networking 2011 2011 39 EURASIP Journal on . http content 20ll l 39 Wireless Communications and Networking a SpringerOpen Journal RESEARCH Open Access Formal reconstruction of attack scenarios in mobile ad hoc and sensor networks Slim Rekhis and Noureddine Boudriga Abstract Several techniques of theoretical digital investigation are presented in the literature but most of them are unsuitable to cope with attacks in wireless networks especially in Mobile Ad hoc and Sensor Networks MASNets . In this article we propose a formal approach for digital investigation of security attacks in wireless networks. We provide a model for describing attack scenarios in a wireless environment and system and network evidence generated consequently. The use of formal approaches is motivated by the need to avoid ad hoc generation of results that impedes the accuracy of analysis and integrity of investigation. We develop an inference system that integrates the two types of evidence handles incompleteness and duplication of information in them and allows possible and provable actions and attack scenarios to be generated. To illustrate the proposal we consider a case study dealing with the investigation of a remote buffer overflow attack. Keywords Digital investigation Wireless networks Formal proof Attack scenarios reconstruction Network of observation Introduction Faced with an increasing number of security incidents and their sophistication and the inability of preventive security measures to deal with all latest forms of attacks digital forensic investigation has emerged as a new research topic in information security. It is defined as the use of scientifically derived and proven methods towards the preservation collection validation identification analysis interpretation and presentation of digital evidence derived from digital sources for the purpose of facilitating or furthering the .

• Báo cáo khoa học
• báo cáo khoa học
• báo cáo hóa học
• công trình nghiên cứu về hóa học
• tài liệu về hóa học
• cách trình bày báo cáo
• trình bày báo cáo
• tài liệu báo cáo khoa học
• cách trình bày báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học toán học
• luận văn mẫu
• người lính việt nam
• sau chiến tranh
• tuyển tập báo cáo khoa học
• báo cáo ngành triết học
• báo cáo ngành lịch sử
• báo cáo ngành văn học
• nghiên cứu khoa học
• báo cáo về văn học
• báo cáo triết học
• báo cáo văn học
• chuyên đề văn học
• văn học nghệ thuật
• văn học Việt NAm
• báo cáo ngành toán học
• báo cáo ngành vật lý
• báo cáo ngành chăn nuôi
• văn học Trung Hoa
• báo cáo khoa học kinh tế
• Kỷ yếu tóm tắt báo cáo khoa học
• Báo cáo khoa học y học
• Báo cáo y học
• Hội nghị khoa học tim mạch
• Báo cáo khoa học y khoa
• Tăng huyết áp
• báo cáo sinh học
• bảo tồn nguồn gen
• báo cáo ngành kỹ thuật
• Báo cáo quản lý chất thải sinh hoạt
• Báo cáo khoa học môi trường
• Báo cáo khoa học công nghệ
• Nghiên cứu khoa học về môi trường
• Đề tài nghiên cứu khoa học
• Báo cáo nghiên cứu khoa học