Phương pháp hình thức đặc tả hệ thống hướng đối tượng dựa trên mô hình rcos - Nguyễn Mạnh ĐứcBài báo đã trình bầy một tiến qui trình phát triển hệ thống phần mềm hướng đối tượng trên cơ sở các luật và các thuật toán biến đổi làm mịn, chúng được xây dựng dựa trên tính đúng của luật làm mịn và tính đúng của đặc tả hình thức đã xét. Để thực hiện các biến đổi làm mịn, các thuật toán làm mịn tương ứng được xây dựng phục vụ cho việc phát triể...
9 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 707 | Lượt tải: 0
Một thuật toán giấu tin trong ảnh có bảng màu và áp dụng giấu tin mật trong ảnh GIFChúng tôi tiến hành thử nghiệm thuật toán trên môi trường định dạng ảnh GIF phù hợp với xu hướng thực tế trong trao đổi thông tin. Thuật toán cho kết quả thử nghiệm rất tốt với các mẫu ảnh thu được từ trên mạng Internet. Sự thay đổi của ảnh sau khi giấu tin gần như không cảm nhận được bởi hệ thống thị giác của con người, cho thấy thuật toán ...
5 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 644 | Lượt tải: 0
Kỹ thuật phát hiện nguồn gốc tấn công từ chối dịch vụTừ khi xuất hiện đến nay, loại hình tấn công từ chối dịch vụ (Denial of Service) luôn là một vấn đề nan giải đối với cộng đồng Internet, và cho đến bây giờ, vẫn chưa có một biện pháp kỹ thuật nào hoàn toàn khắc chế được kiểu tấn công này. Với đặc tính là sử dụng các gói tin nặc danh từ nhiều nguồn khác nhau để tấn công tới một nạn nhân duy nhất,...
5 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 625 | Lượt tải: 1
Một thuật toán giấu tin và áp dụng giấu tin mật trong ảnhNgày nay, nhu cầu trao đổi thông tin trên mạng là rất lớn. Theo đó, vấn đề bảo đảm an toàn cho những thông tin mật cũng trở nên cấp thiết. Có nhiều giải pháp nhằm bảo đảm an toàn cho thông tin trao đổi, giấu tin trong ảnh là một giải pháp được nhiều nhà khoa học quan tâm nghiên cứu. Bài báo này đề xuất một thuật toán mới cho phép tiến hành giấu ...
8 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 873 | Lượt tải: 0
Bài giảng hệ quản trị cơ sở dữ liệu access - Võ Thị Thiên NgaOption group Chọn công cụ option group trong nhóm Controls. Xuất hiện cửa sổ Option group Wizard. Nhập nhãn cho các option, click Next. Chọn/không chọn option mặc định, click Next. Nhập giá trị cho các option, mặc định, option đầu tiên sẽ có option value là 1, click Next. Chọn vị trí lƣu trữ giá trị của option group, click Next....
159 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 797 | Lượt tải: 1
Pháp chứng kỹ thuật số - Bài 9: Điều tra tội phạm trên Mạng không dây - Đàm Quang Hồng HảiWIDS: Wireless intrusion detection system WIPS: Wireless Intrusion Prevention System Nhà cung cấp như Aruba và Cisco cung cấp hệ thống WIDS/ wIPS chuyên theo dõi mạng không dây. Các phần mềm có thể hiển thị vị trí của thiết bị không dây trên bản đồ. Cung cấp cho người quản trị mạng một giao diện điều khiển trung tâm để theo dõi các thiết bị khô...
40 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 772 | Lượt tải: 2
Pháp chứng kỹ thuật số - Bài 8: Điều tra tội phạm trên Internet - Pháp chứng số trên Internet - Đàm Quang Hồng HảiFiddler hoạt động như một proxy cục bộ; Fiddler đăng ký như hệ thống proxy trong khi chụp xem, phân tích và sửa đổi lưu lượng truy cập web từ bất kỳ ứng dụng Fiddler hoạt động trên hầu hết các thiết bị (ví dụ Windows Mobile) Fiddler cho phép với giao thức HTTPS chặn bắt thông qua các yêu cầu. Fiddler dễ mở rộng với công nghệ JavaScript hoặc...
64 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 811 | Lượt tải: 0
Bài giảng: Hệ quản trị cơ sở dữ liệu 2 SQL Server - Th.S Nguyễn Trí NhânMỗi CSDL có 1 hay nhiều users được chỉ định quyền truy xuất dữ liệu. Người quản trị có thể cấp quyền truy xuất CSDL bằng cách tạo một tài khoản đăng nhập (login) SQL Server cho User, thêm User vào CSDL và gán quyền User trên CSDL đó. Bao gồm các loại quyển: Quyền truy cập vào SQL Server. Quyền truy xuất CSDL. Quyền thực hiện trên các đối tượng c...
146 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 700 | Lượt tải: 1
Pháp chứng kỹ thuật số - Bài 7: Điều tra lưu lượng trên Mạng máy tính - Đàm Quang Hồng HảiFlow-tools: phân tích bản ghi lưu lượng Bao gồm nhiều công cụ có ích cho việc phân tích pháp chứng như thu thập bản xuất lưu lượng dữ liệu, lưu trữ, xử lý, gửi. Flow-nfilter: cho phép người dùng lọc bản xuất lưu lượng dữ liệu dựa theo “sơ khai”. Flow-dscan: xác định lưu lượng đáng ngờ dựa trên bản xuất lưu lượng dữ liệu, quét cổng, quét máy chủ...
47 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 813 | Lượt tải: 0
Pháp chứng kỹ thuật số - Bài 6: Điều tra tội phạm Mạng - Pháp chứng Mạng máy tính - Đàm Quang Hồng HảiCác gói tin các màu sắc khác nhau như xanh lá cây, xanh da trời và đen. , để giúp người dùng phân biệt được các loại traffic khác nhau. Màu xanh lá cây là traffic TCP, Mầu xanh da trời đậm là traffic DNS, Mầu xanh da trời nhạt là traffic UDP Màu đen là gói TCP có vấn đề.
63 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 767 | Lượt tải: 0
