Đang tải... (xem toàn văn)
Hiện nay vấn đề Bảo mật và an toàn thông tin trong mọi lĩnh vực đã và đang được áp dụng phổ biến và rộng rãi ở Việt Nam và trên phạm vi toàn cầu. Vì thế vấn đề Bảo mật và an toàn đang được nhiều người tập trung nghiên cứu và tìm mọi giải pháp để đảm bảo Bảo mật và an toàn cho các hệ thống thông tin trên mạng. Tuy nhiên cũng cần phải hiểu rằng không có một hệ thống thông tin nào được bảo mật 100% bất kỳ một hệ thống thông tin nào cũng có những lỗ hổng về bảo mật và an toàn mà chưa đc phát phát hiện ra. Ở chuyên đề tìm hiểu làn này chúng em xin đc trình bày một mô hình chữ kí điện tử mang tên “chữ kí FAIL - STOP” là đây là một giải pháp giúp bảo mật và an toàn thông tin. Trong chuyên đề này chúng em xin đc trình bày những vấn đề sau: 1. Gới thiệu và sơ lược về chữ kí 2. Chữ kí FAIL - STOP
Giảng viên hướng dẫn : Lê Đắc Nhường Sinh viên thực : Phạm Văn Hải Hà Viết Hải Vũ Duy Mạnh Nội dung trình bày : Lời nói đầu Phần I: Gới thiệu sơ lược chữ kí Phần II: Chữ kí FAIL - STOP Lời nói đầu Hiện vấn đề Bảo mật an tồn thơng tin lĩnh vực áp dụng phổ biến rộng rãi Việt Nam phạm vi tồn cầu Vì vấn đề Bảo mật an toàn nhiều người tập trung nghiên cứu tìm giải pháp để đảm bảo Bảo mật an toàn cho hệ thống thông tin mạng Tuy nhiên cần phải hiểu khơng có hệ thống thơng tin bảo mật 100% hệ thống thông tin có lỗ hổng bảo mật an toàn mà chưa đc phát phát Ở chuyên đề tìm hiểu chúng em xin đc trình bày mơ hình chữ kí điện tử mang tên “chữ kí FAIL - STOP” là giải pháp giúp bảo mật an tồn thơng tin Trong chuyên đề chúng em xin đc trình bày vấn đề sau: Gới thiệu sơ lược chữ kí Chữ kí FAIL - STOP Mặc dù cố gắng lần chúng em sâu vào nghiên cứu đề tài nên tài liệu chắn không tránh khỏi sai sót Vì chúng em mong nhận đóng góp ý kiến thầy bạn để nhóm hồn thiện để tài tốt Chúng Em xin chân thành cảm ơn! PHẦN I: Gới thiệu sơ lược chữ kí Nội dung: 1.1 Chữ kí viết tay chữ kí số 1.2 Định nghĩa hình thức chữ kí số 1.1 Chữ kí viết tay chữ kí số 1.1.1 Chữ kí viết tay 1.1 Chữ kí viết tay chữ kí số 1.1.1 Chữ kí viết tay Chữ kí viết tay thơng thường tài liệu thường dùng để xác người kí Chữ kí dùng hàng ngày chẳng hạn thư, đơn từ, hợp đồng Là phần vật lý tài liệu Chữ kí viết tay kiểm tra cách so sánh với chữ kí xác thực khác ví dụ, kí séc để mua hàng, người bán phải so sánh chữ kí mảnh giấy với chữ kí nằm mặt sau thẻ tín dụng để kiểm tra Dĩ nhiên, khơng phải phươg pháp an tồn dể dàng giả mạo Chữ kí viêt tay khác so với gốc 1.1 Chữ kí viết tay chữ kí số 1.1.2 Chữ kí số 1.1 Chữ kí viết tay chữ kí số 1.1.2 Chữ kí số chữ kí số phương pháp kí điện lưu dạng điện từ Chẳng hạn điện có ký hiệu truyền mạng máy tính Một sơ đồ chữ kí số thường chứa hai thành phần: thuật tốn kí thuận tốn xác minh Bob kí điện x dùng thuật tốn kí an tồn Chữ kí sig(x) nhận kiểm tra thuật tốn xác minh cơng khai ver Khi cho trước cặp (x,y), thuật toán xác minh có giá trị TRUE hay FALSE tuỳ thuộc vào chữ kí thực 1.1 Chữ kí viết tay chữ kí số 1.1.2 Chữ kí số chữ kí số khơng gắn theo kiểu vật lý vào điện nên thuật toán dùng phải ”khơng nhìn thấy” theo cách điện kiểm tra nhờ dùng thuật tốn kiểm tra cơng khai Như vậy, kiểm tra dược chữ kí số Việc dùng sơ đồ chữ kí an tồn ngăn chặn dược khả giả mạo Tài liệu kí băng chữ kí số đồng với gốc, => phải cẩn thận ngăn chăn kí số khỏi bị dùng lại Ví dụ: Bob kí điện xác nhận Alice có khả làm điều lần Vì thế, thân điện cần chứa thông tin (chẳng hạn ngày tháng) để ngăn khỏi bị dùng lại PHẦN II: Chữ kí FAIL - STOP Nội dung: 2.1 Tóm tắt sơ lược 2.2 Các bổ đề định lí 2.3 Ví dụ minh họa 2.1 Tóm tắt sơ lược Sơ đồ chữ ký Fail- stop dùng để tăng độ mật trước khả đối thủ mạnh giả mạo chữ ký Nếu có khả giả mạo chữ ký Bob Bob có khả chứng minh (với xác suất cao) chữ ký Oscar giả mạo Sơ đồ Fail- stop Van Heyst va Pedersen đua năm 1992 Đầu sơ đồ chữ ký lần (chỉ điện ký cho trước lần) Hệ thống gồm thuật toán ký, thuật toán xác minh thuật toán “chứng minh giả mạo” Hình 6.9 mơ tả thuật tốn ký xác minh sơ đồ Fail- stop Van Heyst va Pedersen Khơng khó khăn nhận thấy rằng, chữ ký Bob tao thoả mãn điều kiện xác minh nên ta lại trở kía cạnh an toàn toàn sơ đồ thức làm việc tính chất Fail- Safe (tự động ngừng có sai số) Trước hết, ta thiết lập vài yếu tố quan trọng có liên quan đến khố sơ đồ Đầu tiên đưa định nghĩa: Hai khoá (1, 2, a1, a2, b1, b2) (1’, 2’, a1’, a2’, b1’, b2’) tương đương 1 =1’,2= 2’ Và dễ dàng nhận thấy tồi q2 khoá lớp tương đương 2.2 Các bổ đề định lí 2.2.1 Bổ đề Giả sử K K’là khoá tương đương giả thiết chữ ký verK(x,y) = true(đúng) Khi chữ ký verK’(x,y) = true Chứng minh Giả sử K =(1, 2, a1, a2, b1, b2) K’= (1’, 2’, a1’, a2’, b1’, b2’) : 1= a1a2 mod p =a’1a’2 mod p 2= b1b2 mod p =b’1b’2 mod p Giả sử x cách dùng K tạo chữ ký y =(y1, y2) đó: y1= a1+xb1mod q y2= a2+xb2mod q Bây giả sử ta xác minh y cách dùng K’ y1y2 a’1+ xb’1a’ + xb’2 (mod p) a’1a’2 (b’1b’2 )x (mod p) 12x mod p Như vậy, y xác minh K’ ... phươg pháp an tồn dể dàng giả mạo Chữ kí viêt tay khác so với gốc 1.1 Chữ kí viết tay chữ kí số 1.1.2 Chữ kí số 1.1 Chữ kí viết tay chữ kí số 1.1.2 Chữ kí số chữ kí số phương pháp kí điện lưu... mạo chữ ký Nếu có khả giả mạo chữ ký Bob Bob có khả chứng minh (với xác suất cao) chữ ký Oscar giả mạo Sơ đồ Fail- stop Van Heyst va Pedersen đua năm 1992 Đầu sơ đồ chữ ký lần (chỉ điện ký cho... 1.1 Chữ kí viết tay chữ kí số 1.1.1 Chữ kí viết tay 1.1 Chữ kí viết tay chữ kí số 1.1.1 Chữ kí viết tay Chữ kí viết tay thông thường tài liệu thường dùng để xác người kí Chữ kí dùng hàng ngày
