tailieunhanh - Chương 10 : Mã xác thực

Mục đích của chương này là phải có được khả năng xá thực ngay cả khi có một đối phương tích cực-Oscar là người có thể quan sát các bản tin trong đích này có thể đạt được bằng cách thiết lập một ‘’khoa riêng’’K bằng cách để Alice và Bob chungchung một khoá bí mật trước hki mỗi bản tin được gửi đi | Chương 10 CáC Mã XáC THựC Mỏ ĐầU Ta đã dành nhiều thời gian để nghiên cứu các hệ mật được dùng để đảm bảo độ mật .Mã xác thực sẽ cung cấp phương pháp bảo đảm tình toàn vẹn của bản tin mghĩa là bản tin phải không bị can thiệp một cách bất hựp pháp và nó thực sự được gửi đi từ mày phát. Mục đích của chương này là phải có được khả năng xá thực ngay cả khi có một đối phương tích cực-Oscar là người có thể quan sát các bản tin trong đích này có thể đạt được bằng cách thiết lập một khoa riêng K bằng cách để Alice và Bob chungchung một khoá bí mật trước hki mỗi bản tin được gửi đi. Trong chương này ta sẽ nghiên cứu đảm bảo xacs thực chứ không phải các mã đảm bảo độ mã này khoá sẽ được dùng dể tính một mã xác thực cho phép Bob kiểm tra được tính xác thực của thông báo mà anh ta nhận ứng dụng khác của mã xác thực là để kiểm tra xem các số liệu trong một file lớn có bị can thiệp vào một cách hợp pháp hay xác thực sẽ được lưu cùng với số liệu KHOá ĐƯẻc dùng để tạo và kiểm tra dấu xác thực được lưu một cách tách bạch trong một vùng an toàn. Ta cũng sẽ chỉ ra rằng về nhiều khía cạnh mã xác thực cũng tương tự như một sơ đồ chữ kí hoặc tương tự như một maw xác thực thông báo MAC .Sự khác biệt chính là sự an toàn của một maw xác thực là không điều kiện biên trong khi đó các sơ đồ chữ kí và MAC lại được nghiên cứu theo quan điểm độ an toàn tính vậy khi một maw xác thực hoặc MAC được dùng một bản tin chỉ có thể được kiểm tra bởi người nhận hợp khi đó baats cứ mỗi ai cũng có thể xác minh được chữ kí bằng cách dùng một thuật toán xác minh công khai. Bây giờ ta sẽ đưa ra một định nghia hình thức cho thuật ngữ được sử dụng khi nghiên cứu các mã xác thực. Định nghĩa Một mã xác thực là một bộ 4 S R K C thoả mãn các điều kiện sau 1. S là tập hữu hạn các trạng thái nguồn có thể 2. A là tập hợp các nhãn xác thực có thể 3. K là một tập hữu hạn các khoá có thể không gian khoá 4. Với mỗi keK có một quy tắc xác thực ek S R Tập