YuITC/Vietnamese-Legal-Documents huggingface dataset:
Khoản 4. Cho phép triển khai đồng thời các thủ tục để rút ngắn thời gian thực hiện các công việc: Thẩm định, quyết định phê duyệt kết quả thẩm định báo cáo đánh giá tác động môi trường; thẩm tra, quyết định khung chính sách bồi thường, hỗ trợ, tái định cư; khảo sát, lập, thẩm định, phê duyệt dự án đầu tư; khảo sát, lập, thẩm định, phê duyệt thiết kế kỹ thuật, dự toán và lựa chọn nhà thầu; các công việc khác có liên quan để bảo đảm tiến độ triển khai các dự án thành phần; các thủ tục nêu trên cần tuân thủ đúng các giai đoạn, bước thiết kế xây dựng theo quy định của pháp luật về xây dựng. 4. Một số nhiệm vụ cụ thể của các bộ, cơ quan và địa phương
a) Bộ Giao thông vận tải là cơ quan đầu mối tổ chức thực hiện các nhiệm vụ chung sau: - Chủ trì, phối hợp với Bộ Tài chính, các bộ, cơ quan, địa phương liên quan xây dựng phương án thu hồi vốn đầu tư Dự án hoàn trả ngân sách trung ương và ngân sách địa phương theo tỷ lệ góp vốn đầu tư vào Dự án. - Chủ trì báo cáo cấp có thẩm quyền xem xét, quyết định việc điều chỉnh chủ trương đầu tư Dự án trong trường hợp phát sinh các yếu tố dẫn đến phải điều chỉnh chủ trương đầu tư. - Phối hợp với Ủy ban nhân dân các tỉnh, thành phố được phân cấp làm cơ quan chủ quản trong việc chuẩn bị đầu tư các dự án thành phần. - Phối hợp với Ủy ban nhân dân các tỉnh, thành phố rà soát quy chuẩn, tiêu chuẩn, giải pháp kỹ thuật, tổng mức đầu tư các dự án thành phần trong bước báo cáo nghiên cứu khả thi theo quy định của pháp luật, bảo đảm chất lượng công trình, tiết kiệm, chống lãng phí. - Kiểm tra, giám sát việc thực hiện tuân thủ quy chuẩn xây dựng, quy hoạch ngành quốc gia lĩnh vực giao thông vận tải, kế hoạch đầu tư, xây dựng công trình, dự án, kết nối đồng bộ với mạng lưới công trình giao thông đang khai thác. - Hướng dẫn quy trình triển khai dự án cho các địa phương nhằm bảo đảm thực hiện đồng bộ, thống nhất; hỗ trợ kỹ thuật, phối hợp tháo gỡ khó khăn, vướng mắc liên quan đến các vấn đề kỹ thuật chuyên ngành (quy chuẩn, tiêu chuẩn, giải pháp kỹ thuật...); kiểm tra, giám sát và đôn đốc các địa phương được phân cấp làm cơ quan chủ quản trong quá trình thực hiện, bảo đảm tiến độ Dự án. - Chủ trì xây dựng các Báo cáo, Tờ trình của Chính phủ gửi các cấp có thẩm quyền về tình hình triển khai Dự án theo quy định. - Tiếp nhận công trình sau khi cơ quan chủ quản hoàn thành việc xây dựng để quản lý, vận hành, khai thác và bảo trì theo quy định của pháp luật.
b) Bộ Kế hoạch và Đầu tư - Chủ trì, phối hợp với Bộ Tài chính tham mưu việc bố trí vốn thực hiện Dự án đáp ứng tiến độ yêu cầu. - Hướng dẫn, giải quyết theo thẩm quyền hoặc tham mưu cho Chính phủ, Thủ tướng Chính phủ tháo gỡ những khó khăn vướng mắc (nếu có) liên quan đến công tác lựa chọn nhà thầu thực hiện Dự án.
c) Bộ Tài chính hướng dẫn, giải quyết theo thẩm quyền các nội dung về thuế, phí, lệ phí liên quan đến Dự án; phối hợp với Bộ Giao thông vận tải xây dựng phương án thu hồi vốn đầu tư Dự án hoàn trả ngân sách trung ương và ngân sách địa phương theo tỷ lệ vốn góp đầu tư Dự án.
- Công bố giá các loại vật liệu xây dựng thông thường theo thẩm quyền và quy định pháp luật. - Kiểm tra, kiểm soát, quản lý chặt chẽ giá vật liệu xây dựng; chỉ đạo các cơ quan, đơn vị trực thuộc thường xuyên theo dõi, bám sát diễn biến của thị trường xây dựng để kịp thời cập nhật, công bố giá vật liệu xây dựng thông thường theo quy định pháp luật.
Điều 4. Mức chi:
1. Chi mua bản quyền chương trình (nếu có): Trường đại học được chi tiền mua bản quyền đối với các chương trình tiên tiến đã được cấp có thẩm quyền phê duyệt về nội dung. Việc thanh, quyết toán căn cứ vào hợp đồng mua bản quyền chương trình tiên tiến giữa trường đại học trong nước và trường đối tác nước ngoài và hóa đơn chứng từ thanh toán theo quy định của pháp luật.
2. Chi biên soạn, hoàn chỉnh chương trình tiên tiến cho phù hợp với điều kiện giảng dạy ở Việt Nam. Căn cứ vào khối lượng công việc phải thực hiện, cơ sở đào tạo được vận dụng các định mức chi quy định tại Thông tư số 123/2009/TT-BTC ngày 17/6/2009 của Bộ Tài chính quy định nội dung chi, mức chi xây dựng chương trình khung và biên soạn chương trình, giáo trình các môn học đối với các ngành đào tạo Đại học, Cao đẳng, Trung cấp chuyên nghiệp.
3. Chi mua sách, tài liệu liên quan trực tiếp đến đào tạo chương trình tiên tiến của khóa học: Thanh toán theo hợp đồng, hóa đơn chứng từ thực tế phát sinh trên cơ sở dự toán kinh phí được cấp có thẩm quyền phê duyệt. Trường hợp số lượng sách, tài liệu có giá trị lớn thì thực hiện phương thức đấu thầu theo quy định tại Thông tư số 63/2007/TT-BTC ngày 15/6/2007 của Bộ Tài chính hướng dẫn thực hiện đấu thầu mua sắm tài sản nhằm duy trì hoạt động thường xuyên của cơ quan nhà nước bằng vốn nhà nước và Thông tư số 131/2007/TT-BTC ngày 05/11/2007 của Bộ Tài chính về sửa đổi, bổ sung Thông tư số 63/2007/TT-BTC ngày 15/6/2007.
4. Chi đào tạo, bồi dưỡng giảng viên: - Đối với chi đào tạo trong nước: Các lớp đào tạo, bồi dưỡng nghiệp vụ chuyên môn cho giảng viên thực hiện theo mức chi quy định tại Thông tư số 51/2008/TT-BTC ngày 16/06/2008 của Bộ Tài chính hướng dẫn quản lý và sử dụng kinh phí đào tạo, bồi dưỡng cán bộ, công chức Nhà nước. - Chi cử giảng viên, cán bộ quản lý của cơ sở đào tạo sang trường đối tác nước ngoài để trao đổi, học tập, bồi dưỡng chuyên môn, nghiệp vụ được thực hiện theo các mức chi quy định tại Thông tư liên tịch số 144/2007/TTLT-BTC-BGDĐT-BNG ngày 05/12/2007 của liên Bộ Tài chính, Giáo dục và Đào tạo, Ngoại giao về hướng dẫn chế độ cấp phát và quản lý kinh phí đào tạo lưu học sinh Việt Nam ở nước ngoài bằng nguồn vốn ngân sách nhà nước.
Trường hợp đối với các khóa đào tạo ngắn hạn dưới 6 tháng, thì tùy thuộc vào điều kiện thực tế và khả năng nguồn kinh phí được cân đối, Hiệu trưởng trường đại học được quyết định mức chi cao hơn mức chi quy định tại Thông tư liên tịch số 144/2007/TTLT-BTC-BGDĐT-BNG nêu trên, nhưng tối đa không được vượt quá mức chi quy định tại Thông tư số 91/2005/TT-BTC ngày 18/10/2005 của Bộ Tài chính quy định chế độ công tác phí cho cán bộ, công chức nhà nước đi công tác ngắn hạn ở nước ngoài do ngân sách nhà nước bảo đảm kinh phí. Nguồn bù đắp mức chi tăng thêm được cân đối trong dự toán ngân sách được giao của trường đại học đào tạo chương trình tiên tiến.
5. Chi thù lao cho giảng viên trực tiếp tham gia giảng dạy hoặc trợ giảng cho chương trình tiên tiến: Chi thù lao cho giảng viên trực tiếp tham gia giảng dạy chương trình tiên tiến được tính theo hệ số trên cơ sở mức chi thù lao cho 1 tiết giảng chuẩn tại trường đại học. Việc tính toán mức chi thù lao cho một tiết giảng chuẩn được căn cứ vào chế độ tiền lương quy định hiện hành của Nhà nước, định mức lao động, nhiệm vụ và khối lượng công việc giảng dạy, đào tạo của trường đại học được giao nhiệm vụ đào tạo chương trình tiên tiến. - Chi thù lao cho giảng viên giảng dạy chuyên môn trực tiếp bằng tiếng Anh: Mức chi tối đa đối với 1 tiết giảng cho chương trình tiên tiến được áp dụng hệ số 3,0 so với mức chi cho 1 tiết giảng chuẩn có nội dung tương đương được giảng dạy bằng tiếng Việt. - Chi thù lao cho giảng viên của trường tham gia trợ giảng chuyên môn cho giảng viên nước ngoài: Mức chi tối đa đối với 1 tiết giảng được áp dụng hệ số 1,5 so với mức chi cho 1 tiết giảng chuẩn cho môn học có nội dung tương đương được giảng dạy bằng tiếng Việt. - Chi thù lao cho giảng viên giảng dạy các môn giáo dục đại cương bằng tiếng Việt: Mức chi tối đa đối với 1 tiết giảng được áp dụng hệ số 1,2 so với mức chi cho 1 tiết giảng chuẩn cho môn học có nội dung tương đương được giảng dạy bằng tiếng Việt. - Chi thù lao cho giảng viên giảng dạy môn học ngoại ngữ đối với chương trình tiên tiến, được áp dụng hệ số 1,2 so với mức chi cho 1 tiết giảng chuẩn có nội dung tương đương. - Chi thuê giảng viên của cơ sở đào tạo khác trong nước để giảng dạy chương trình tiên tiến (nếu có): Thực hiện theo hợp đồng và khối lượng công việc thực tế nhưng tối đa không quá 4 lần so với mức chi cho 1 tiết giảng chuẩn tại cơ sở đào tạo cho các môn học có nội dung tương đương được giảng dạy bằng tiếng Việt.
6. Chi thuê giảng viên nước ngoài sang giảng dạy tại trường đại học: - Trường đại học được vận dụng các mức chi theo quy định của Bộ Tài chính về chế độ chi tiêu đón tiếp khách nước ngoài vào làm việc tại Việt Nam, chi tiêu tổ chức các hội nghị, hội thảo quốc tế tại Việt Nam và chi tiêu tiếp khách trong nước để làm căn cứ ký kết hợp đồng giữa trường đại học trong nước và trường đối tác nước ngoài theo phương thức trọn gói, gắn kết giữa thời gian, khối lượng công việc giảng dạy với các chi phí cần thiết, gồm: chi phí đi lại, ăn, ở, thù lao giảng bài và bảo hiểm (nếu có).
- Thực hiện thanh, quyết toán trên cơ sở thời gian, khối lượng thực tế thực hiện công việc theo hợp đồng đã ký kết và hóa đơn chứng từ theo quy định của pháp luật.
7. Chi đi công tác nước ngoài để thực hiện đàm phán, ký kết thỏa thuận với trường đối tác về chương trình tiên tiến: Thực hiện theo quy định tại Thông tư số 91/2005/TT-BTC ngày 18/10/2005 của Bộ Tài chính quy định chế độ công tác phí cho cán bộ, công chức nhà nước đi công tác ngắn hạn ở nước ngoài do ngân sách nhà nước đảm bảo kinh phí.
8. Mức chi đối với các nội dung chi quản lý hành chính, quy định tại khoản 15, Điều 3 của Thông tư này: Căn cứ vào yêu cầu thực tế và tính chất công việc, căn cứ vào khả năng nguồn kinh phí đảm bảo của đơn vị. Hiệu trưởng trường đại học đào tạo chương trình tiên tiến quy định cụ thể các mức chi trong quy chế chi tiêu nội bộ của đơn vị, đảm bảo nguyên tắc công khai, minh bạch, tiết kiệm, hiệu quả.
9. Đối với các mức chi khác để thực hiện chương trình tiên tiến không được quy định trong Thông tư này, được áp dụng theo các văn bản quy định hiện hành của nhà nước.
10. Trong một số trường hợp, một số mức chi để triển khai đào tạo chương trình tiên tiến có yêu cầu chi cao hơn các mức chi quy định tại Thông tư này, thì căn cứ vào yêu cầu thực tế, vào khả năng nguồn kinh phí của trường đại học triển khai chương trình tiên tiến, Hiệu trưởng trường đại học được quyết định mức chi cao hơn các mức chi quy định tại Thông tư này, nhưng những mức chi cao hơn này phải được quy định rõ trong quy chế chi tiêu nội bộ của trường đại học và trường đại học phải tự huy động nguồn bù đắp phần kinh phí vượt trội so với mức chi quy định nêu trên, đảm bảo chất lượng và hiệu quả công việc. Trường hợp nhà nước sửa đổi mức các mức chi quy định tại các văn bản quy phạm pháp luật đã nêu tại điều này thì các cơ sở đào tạo được vận dụng theo mức chi mới trong quá trình tổ chức thực hiện chương trình tiên tiến.
Điều 6. Quản lý sử dụng và quyết toán kinh phí:
1. Trường đại học triển khai đào tạo theo chương trình tiên tiến phải thực hiện đúng các quy định hiện hành về quản lý và sử dụng và quyết toán kinh phí theo quy định tại các văn bản hướng dẫn thi hành Luật Ngân sách nhà nước, các chế độ chi tiêu hiện hành và các quy định cụ thể tại Thông tư này.
2. Việc sử dụng kinh phí thực hiện chương trình tiên tiến phải đảm bảo đầy đủ chứng từ theo quy định của pháp luật hiện hành. Kinh phí thực hiện chương trình tiên tiến được quyết toán phù hợp với nguồn kinh phí sử dụng và phù hợp với mục chi tương ứng của mục lục ngân sách nhà nước theo quy định hiện hành và tổng hợp trong báo cáo quyết toán hàng năm của cơ sở đào tạo để gửi cơ quan chủ quản tổng hợp, gửi cơ quan Tài chính thẩm định theo quy định. Đối với các chương trình tiên tiến đang trong thời gian thực hiện, kinh phí ngân sách nhà nước hỗ trợ chưa sử dụng hết đến cuối năm được chuyển sang năm sau tiếp tục sử dụng.
3. Kho bạc Nhà nước thực hiện cấp phát, thanh toán, kiểm soát chi kinh phí thực hiện chương trình tiên tiến theo các quy định hiện hành và các quy định cụ thể tại Thông tư này.
4. Cơ quan tài chính cùng cấp phối hợp với cơ quan phê duyệt chương trình tiên tiến định kỳ kiểm tra tài chính, thẩm định quyết toán kinh phí của chương trình tiên tiến theo quy định của Luật ngân sách Nhà nước và các quy định cụ thể tại Thông tư này.
Điều 1. Phê chuẩn kết quả miễn nhiệm Phó Chủ tịch Hội đồng nhân dân tỉnh Quảng Bình khóa XVII, nhiệm kỳ 2016 - 2021 đối với bà Nguyễn Thị Thanh Hương kể từ ngày 17 tháng 3 năm 2020.
Điều 1. Phạm vi điều chỉnh. Nghị quyết này hướng dẫn một số quy định về trách nhiệm bồi thường thiệt hại ngoài hợp đồng của Bộ luật Dân sự số 91/2015/QH13 ngày 24 tháng 11 năm 2015 (sau đây gọi tắt là Bộ luật Dân sự).
Điều 1. Ban hành kèm theo Thông tư này Quy chuẩn kỹ thuật quốc gia về mật mã dân sự sử dụng trong lĩnh vực ngân hàng: Điều 1. QUY ĐỊNH CHUNG Điều 1. QUY ĐỊNH CHUNG Điều 1. QUY ĐỊNH CHUNG Điều 1. QUY ĐỊNH CHUNG
1. QCVN 4 : 2016/BQP, Mã hóa dữ liệu sử dụng trong lĩnh vực ngân hàng;
2. QCVN 5 : 2016/BQP, Chữ ký số sử dụng trong lĩnh vực ngân hàng;
3. QCVN 6 : 2016/BQP, Quản lý khóa sử dụng trong lĩnh vực ngân hàng.
1.1. Phạm vi điều chỉnh Quy chuẩn kỹ thuật quốc gia này quy định mức giới hạn về đặc tính kỹ thuật mật mã của các thuật toán mã hóa dữ liệu dùng trong các sản phẩm mật mã dân sự sử dụng trong lĩnh vực ngân hàng. 1.1. Phạm vi điều chỉnh Quy chuẩn kỹ thuật quốc gia này quy định mức giới hạn của các đặc tính kỹ thuật mật mã của chữ ký số sử dụng trong lĩnh vực ngân hàng. 1.1. Phạm vi điều chỉnh Quy chuẩn kỹ thuật quốc gia này quy định các yêu cầu về quản lý khóa mật mã sử dụng kỹ thuật mật mã phi đối xứng để bảo mật dữ liệu trong lĩnh vực ngân hàng bao gồm: Sinh khóa bí mật dùng để liên lạc giữa hai thực thể bằng cơ chế thỏa thuận khóa và dẫn xuất khóa, sử dụng kỹ thuật mật mã phi đối xứng; sinh khóa bí mật cho một thực thể bởi thực thể khác bằng cơ chế truyền khóa sử dụng mật mã phi đối xứng; vận chuyển khóa công khai của một thực thể đến một thực thể khác bằng đường truyền có bảo vệ; quy định về quản lý sử dụng khóa mật mã an toàn. Quy định về tạo khóa, đăng ký khóa, thu hồi, cài đặt, khôi phục và các vấn đề thuộc quản lý khóa khác không thuộc phạm vi điều chỉnh của quy chuẩn này. 1.1. Phạm vi điều chỉnh Quy chuẩn kỹ thuật quốc gia này quy định các yêu cầu về quản lý khóa mật mã sử dụng kỹ thuật mật mã phi đối xứng để bảo mật dữ liệu trong lĩnh vực ngân hàng bao gồm: Sinh khóa bí mật dùng để liên lạc giữa hai thực thể bằng cơ chế thỏa thuận khóa và dẫn xuất khóa, sử dụng kỹ thuật mật mã phi đối xứng; sinh khóa bí mật cho một thực thể bởi thực thể khác bằng cơ chế truyền khóa sử dụng mật mã phi đối xứng; vận chuyển khóa công khai của một thực thể đến một thực thể khác bằng đường truyền có bảo vệ; quy định về quản lý sử dụng khóa mật mã an toàn. Quy định về tạo khóa, đăng ký khóa, thu hồi, cài đặt, khôi phục và các vấn đề thuộc quản lý khóa khác không thuộc phạm vi điều chỉnh của quy chuẩn này.
1.2. Đối tượng áp dụng Quy chuẩn này áp dụng đối với các doanh nghiệp kinh doanh sản phẩm, dịch vụ mật mã dân sự trong lĩnh vực ngân hàng; các tổ chức tín dụng (trừ quỹ tín dụng nhân dân cơ sở có tài sản dưới 10 tỷ, tổ chức tài chính vi mô) sử dụng sản phẩm, dịch vụ mật mã dân sự. 1.2. Đối tượng áp dụng Quy chuẩn này áp dụng đối với các doanh nghiệp kinh doanh sản phẩm, dịch vụ mật mã dân sự trong lĩnh vực ngân hàng; các tổ chức tín dụng (trừ quỹ tín dụng nhân dân cơ sở có tài sản dưới 10 tỷ, tổ chức tài chính vi mô) sử dụng sản phẩm, dịch vụ mật mã dân sự.
1.2. Đối tượng áp dụng Quy chuẩn này áp dụng đối với các doanh nghiệp kinh doanh sản phẩm, dịch vụ mật mã dân sự trong lĩnh vực ngân hàng; các tổ chức tín dụng (trừ quỹ tín dụng nhân dân cơ sở có tài sản dưới 10 tỷ, tổ chức tài chính vi mô) sử dụng sản phẩm, dịch vụ mật mã dân sự. 1.2. Đối tượng áp dụng Quy chuẩn này áp dụng đối với các doanh nghiệp kinh doanh sản phẩm, dịch vụ mật mã dân sự trong lĩnh vực ngân hàng; các tổ chức tín dụng (trừ quỹ tín dụng nhân dân cơ sở có tài sản dưới 10 tỷ, tổ chức tài chính vi mô) sử dụng sản phẩm, dịch vụ mật mã dân sự.
1.3. Tài liệu viện dẫn - Recommendation for Random Number Generation Using Deterministic Random Bit Generators, NIST SP 800-90A Rev. 1, National Institute of Standards and Technology, June 2015. (Khuyến cáo cho bộ sinh số ngẫu nhiên sử dụng bộ sinh bit ngẫu nhiên tất định, NIST SP 800-90A Rev. 1, Viện tiêu chuẩn và công nghệ quốc gia (Mỹ), tháng 6 năm 2015). - TCVN 7876:2007 Công nghệ thông tin - Kỹ thuật mật mã - Thuật toán mã dữ liệu AES. - TCVN 11367-3:2016 (ISO/IEC 18033-3:2010) Công nghệ thông tin - Các kỹ thuật an toàn - Thuật toán mật mã - Phần 3: Mã khối. - ISO/IEC 10116:2006 Information technology - Security techniques - Modes of operation for an n-bit block cipher. - ISO/IEC 9797-1:2011 Information technology - Security techniques - Message Authentication Codes (MACs) - Part 1: Mechanisms using a block cipher. 1.3. Tài liệu viện dẫn - Recommendation for Random Number Generation Using Deterministic Random Bit Generators, NIST SP 800-90A Rev. 1, National Institute of Standards and Technology, June 2015. (Khuyến cáo cho bộ sinh số ngẫu nhiên sử dụng bộ sinh bit ngẫu nhiên tất định, NIST SP 800-90A Rev. 1, Viện tiêu chuẩn và công nghệ quốc gia (Mỹ), tháng 6 năm 2015). - RSA Laboratories. PKCS#1 v2.1: RSA Cryptography Standard. June 2002. (Phòng thí nghiệm RSA. PKCS#1 v2.1: Tiêu chuẩn mật mã RSA. Tháng 6 năm 2002). - TCVN 7635:2007 Kỹ thuật mật mã - Chữ ký số. - NIST, Federal Information Processing Standards Publication 186-4, Digital Signature Standard (DSS), July 2013. (NIST, Tiêu chuẩn xử lý thông tin liên bang, Chuẩn chữ ký số (DSS), tháng 7 năm 2013). - NIST, Federal Information Processing Standards Publication 180-4, Secure Hash Standard (SHS), August 2015.
(NIST, Tiêu chuẩn xử lý thông tin liên bang, Chuẩn hàm băm an toàn (SHS), tháng 8 năm 2015). 1.3. Tài liệu viện dẫn - TCVN 7817-3:2007 (ISO/IEC 11770-3:1999) Công nghệ thông tin - Kỹ thuật mật mã - Quản lý khóa - Phần 3: Các cơ chế sử dụng kỹ thuật phi đối xứng. - ISO/IEC 11770-3:2015 Information technology - Security techniques - Key management - Part 3: Mechanisms using asymmetric techniques. - Recommendation for Pair-Wise Key Establishment Schemes Using Discrete Logarithm Cryptography, SP 800-56A Revision 2, National Institute of Standards and Technology, May 2013. - Recommendation for Random Number Generation Using Deterministic Random Bit Generators, NIST SP 800-90A Rev. 1, National Institute of Standards and Technology, June 2015. (Khuyến cáo cho bộ sinh số ngẫu nhiên sử dụng bộ sinh bit ngẫu nhiên tất định, NIST SP 800-90A Rev. 1, Viện tiêu chuẩn và công nghệ quốc gia (Mỹ), tháng 6 năm 2015). 1.3. Tài liệu viện dẫn - TCVN 7817-3:2007 (ISO/IEC 11770-3:1999) Công nghệ thông tin - Kỹ thuật mật mã - Quản lý khóa - Phần 3: Các cơ chế sử dụng kỹ thuật phi đối xứng. - ISO/IEC 11770-3:2015 Information technology - Security techniques - Key management - Part 3: Mechanisms using asymmetric techniques. - Recommendation for Pair-Wise Key Establishment Schemes Using Discrete Logarithm Cryptography, SP 800-56A Revision 2, National Institute of Standards and Technology, May 2013. - Recommendation for Random Number Generation Using Deterministic Random Bit Generators, NIST SP 800-90A Rev. 1, National Institute of Standards and Technology, June 2015. (Khuyến cáo cho bộ sinh số ngẫu nhiên sử dụng bộ sinh bit ngẫu nhiên tất định, NIST SP 800-90A Rev. 1, Viện tiêu chuẩn và công nghệ quốc gia (Mỹ), tháng 6 năm 2015).
1.4. Giải thích từ ngữ Trong Quy chuẩn này, các từ ngữ dưới đây được hiểu như sau: 1.4.1. Thông tin không thuộc phạm vi bí mật nhà nước Là thông tin không thuộc nội dung tin “tuyệt mật”, “tối mật” và “mật” được quy định tại Pháp lệnh Bảo vệ bí mật nhà nước ngày 28 tháng 12 năm 2000. 1.4.2. Mật mã Là những quy tắc, quy ước riêng dùng để thay đổi hình thức biểu hiện thông tin nhằm bảo đảm bí mật, xác thực, toàn vẹn của nội dung thông tin. 1.4.3. Mật mã dân sự Là kỹ thuật mật mã và sản phẩm mật mã được sử dụng để bảo mật hoặc xác thực đối với thông tin không thuộc phạm vi bí mật nhà nước. 1.4.4.
Sản phẩm mật mã dân sự Là các tài liệu, trang thiết bị kỹ thuật và nghiệp vụ mật mã để bảo vệ thông tin không thuộc phạm vi bí mật nhà nước. 1.4.5. Kỹ thuật mật mã Là phương pháp, phương tiện có ứng dụng mật mã để bảo vệ thông tin. 1.4.6. Mã hóa Phép biến đổi (khả nghịch) dữ liệu bởi thuật toán mật mã để tạo ra bản mã, tức là giấu nội dung thông tin của dữ liệu. 1.4.7. Giải mã Phép toán ngược với phép mã hóa tương ứng. 1.4.8. Mã khối Hệ mật đối xứng với tính chất là thuật toán mã hóa thao tác trên một khối của bản rõ, nghĩa là trên một xâu bit có độ dài xác định, kết quả cho ra một khối của bản mã. 1.4.9. Mã dòng Hệ mật đối xứng với tính chất là thuật toán mã hóa bao gồm tổ hợp một dãy các ký tự của bản rõ với dãy các ký tự của khóa dòng, mỗi lần một ký tự, sử dụng một hàm khả nghịch. 1.4.10. Khóa Dãy các ký tự điều khiển sự vận hành của các thuật toán mật mã (ví dụ, phép mã hóa, giải mã). 1.4.11. Khóa dòng Dãy các ký tự giả ngẫu nhiên bí mật, được sử dụng bởi các thuật toán mã hóa và giải mã của mã dòng. 1.4. Giải thích từ ngữ Trong Quy chuẩn này, các từ ngữ dưới đây được hiểu như sau: 1.4.1. Thông tin không thuộc phạm vi bí mật nhà nước Là thông tin không thuộc nội dung tin “tuyệt mật”, “tối mật” và “mật” được quy định tại Pháp lệnh Bảo vệ bí mật nhà nước ngày 28 tháng 12 năm 2000. 1.4.2. Mật mã Là những quy tắc, quy ước riêng dùng để thay đổi hình thức biểu hiện thông tin nhằm bảo đảm bí mật, xác thực, toàn vẹn của nội dung thông tin. 1.4.3. Mật mã dân sự Là kỹ thuật mật mã và sản phẩm mật mã được sử dụng để bảo mật hoặc xác thực đối với thông tin không thuộc phạm vi bí mật nhà nước. 1.4.4. Sản phẩm mật mã dân sự Là các tài liệu, trang thiết bị kỹ thuật và nghiệp vụ mật mã để bảo vệ thông tin không thuộc phạm vi bí mật nhà nước. 1.4.5. Kỹ thuật mật mã Là phương pháp, phương tiện có ứng dụng mật mã để bảo vệ thông tin. 1.4.6. Mã hóa Phép biến đổi (khả nghịch) dữ liệu bởi thuật toán mật mã để tạo ra bản mã, tức là che giấu nội dung thông tin của dữ liệu. 1.4.8. Mật mã phi đối xứng Hệ thống dựa trên kỹ thuật mật mã phi đối xứng, trong đó phép biến đổi công khai được sử dụng để mã hóa, phép biến đổi bí mật được sử dụng để giải mã. 1.4.9. Kỹ thuật mật mã phi đối xứng Kỹ thuật mật mã phi đối xứng sử dụng hai phép biến đổi liên quan đến nhau, phép biến đổi công khai (được xác định bởi khóa công khai) và phép biến đổi bí mật (được xác định bởi khóa riêng). Cả hai phép biến đổi này có tính chất là cho biết phép biến đổi công khai, về mặt tính toán không thể có khả năng xác định được phép biến đổi bí mật. 1.4.10.
Thiết lập khóa Quá trình đảm bảo sự khả dụng một khóa bí mật dùng chung cho một hoặc nhiều thực thể. Thiết lập khóa bao gồm thỏa thuận khóa và vận chuyển khóa. 1.4.18. Thoả thuận khóa Tiến trình kiến tạo một khóa bí mật dùng chung giữa hai thực thể theo cách mà không có bên nào có thể định trước giá trị cho khóa 1.4. Giải thích từ ngữ Trong Quy chuẩn này, các từ ngữ dưới đây được hiểu như sau: 1.4.1. Thông tin không thuộc phạm vi bí mật nhà nước Là thông tin không thuộc nội dung tin “tuyệt mật”, “tối mật” và “mật” được quy định tại Pháp lệnh Bảo vệ bí mật nhà nước ngày 28 tháng 12 năm 2000. 1.4.2. Mật mã Là những quy tắc, quy ước riêng dùng để thay đổi hình thức biểu hiện thông tin nhằm bảo đảm bí mật, xác thực, toàn vẹn của nội dung thông tin. 1.4.3. Mật mã dân sự Là kỹ thuật mật mã và sản phẩm mật mã được sử dụng để bảo mật hoặc xác thực đối với thông tin không thuộc phạm vi bí mật nhà nước. 1.4.4. Sản phẩm mật mã dân sự Là các tài liệu, trang thiết bị kỹ thuật và nghiệp vụ mật mã để bảo vệ thông tin không thuộc phạm vi bí mật nhà nước. 1.4.5. Kỹ thuật mật mã Là phương pháp, phương tiện có ứng dụng mật mã để bảo vệ thông tin. 1.4.6. Mã hóa Phép biến đổi (khả nghịch) dữ liệu bởi thuật toán mật mã để tạo ra bản mã, tức là giấu nội dung thông tin của dữ liệu. 1.4.7. Giải mã Phép toán ngược với phép mã hóa tương ứng. 1.4.8. Mã phi đối xứng Hệ thống dựa trên kỹ thuật mật mã phi đối xứng, trong đó phép biến đổi công khai được sử dụng để mã hóa, phép biến đổi bí mật được sử dụng để giải mã. 1.4.9. Kỹ thuật mật mã phi đối xứng Kỹ thuật mật mã phi đối xứng sử dụng hai phép biến đổi liên quan đến nhau, phép biến đổi công khai (được xác định bởi khóa công khai) và phép biến đổi bí mật (được xác định bởi khóa riêng). Cả hai phép biến đổi này có tính chất là cho biết phép biến đổi công khai, về mặt tính toán không thể có khả năng xác định được phép biến đổi bí mật. 1.4.10. Thẻ khóa Thông điệp quản lý khóa được gửi từ một thực thể tới một thực thể khác trong quá trình thực hiện một cơ chế quản lý khóa. 1.4.11. Vận chuyển khóa Tiến trình truyền một khóa từ một thực thể đến một thực thể khác với bảo vệ thích hợp. 1.4.12. Xác thực thực thể lẫn nhau Sự xác thực giữa hai thực thể đảm bảo về định danh của mỗi thực thể. 1.4.13. Xác thực khóa từ thực thể A đến thực thể B Đảm bảo cho B rằng chỉ có A là thực thể sở hữu khóa đúng. 1.4.14. Xác thực khóa hai chiều Đảm bảo xác thực khóa từ A đến B và từ B đến A. 1.4.15. Xác nhận khóa từ A đến B Đảm bảo cho thực thể B là thực thể A sở hữu khóa đúng. 1.4.16. Xác nhận khóa hai chiều Đảm bảo xác nhận khóa từ A đến B và từ B đến A.
1.4.17. Thiết lập khóa Quá trình đảm bảo sự khả dụng một khóa bí mật dùng chung cho một hoặc nhiều thực thể. Thiết lập khóa bao gồm thỏa thuận khóa và vận chuyển khóa. 1.4.18. Thoả thuận khóa Tiến trình kiến tạo một khóa bí mật dùng chung giữa hai thực thể theo cách mà không có bên nào có thể định trước giá trị cho khóa
1.5. Các ký hiệu n độ dài tính bằng bit của bản rõ/bản mã đối với mã khối Ek hàm mã hóa với khóa K Dk hàm giải mã với khóa K Nr số vòng của thuật toán AES, bằng 10,12 hoặc 14 để chọn độ dài khóa tương ứng 128, 192, hoặc 256 bit. Nb Số các cột (các từ 32 bit) tạo nên Trạng thái. Å phép toán logic XOR trên xâu bit, nghĩa là nếu A và B là hai xâu cùng độ dài thì A Å B là xâu bit bao gồm các bit là kết quả phép toán logic XOR của A và B Ä phép nhân hai đa thức (mỗi đa thức có bậc bé hơn 4) theo mod x4 + 1 Ù phép toán logic AND trên xâu bit, nghĩa là nếu A và B là các xâu bit cùng độ dài, thì A Ù B là xâu bit được tạo từ phép toán logic AND các bit tương ứng của A và B. Ú phép toán logic OR trên xâu bit, tức nếu A và B là hai xâu bit cùng độ dài, thì A Ú B là xâu bit gồm các bit là kết quả của phép toán logic OR của A và B. || phép ghép các xâu bit • phép nhân trên trường hữu hạn phép dịch vòng sang trái i bit. phép dịch vòng sang phải i bit phép bù bit của x a mod n với các số nguyên a và n, a mod n ký hiệu số dư (không âm) trong phép chia a cho n. Một cách tương đương, b = a mod n nếu b là số nguyên duy nhất thỏa mãn các điều kiện sau: (ii) (b - a) là bội số nguyên của n phép cộng trong số học mô-đun, nghĩa là nếu A và B là hai xâu t-bit thì AB được xác định bằng (A + B) mod 2t phép trừ trong số học mô-đun, nghĩa là nếu A và B là hai xâu t-bit thì A B được xác định bằng (A - B)mod 2t 1.5.
Các ký hiệu AES Tiêu chuẩn mã hóa tiên tiến (Advanced Encryption Standard) Octet Chuỗi bit có độ dài bằng 8 n Modulo RSA d Số mũ bí mật RSA e Số mũ công khai RSA (n,e) Khóa công khai RSA của người ký c Một biểu diễn của bản mã, là số nguyên thuộc (0,n-1) C Bản mã được biểu diễn ở dạng chuỗi octet EM Chuỗi Octet biểu diễn thông điệp đã được ghi mã emLen Độ dài theo Octet của EM k Độ dài modulo n tính theo octet m Một biểu diễn của thông điệp (văn bản), là số nguyên thuộc (0,n-1) M Thông điệp (văn bản), chuỗi octet I2OSP Hàm cơ sở chuyển đổi từ dạng số nguyên sang chuỗi octet (Integer-to-Octet-String Primitive) OS2IP Hàm cơ sở chuyển đổi từ chuỗi octet sang số nguyên (Octet- String-to-Integer-Primitive) LCM Bội chung nhỏ nhất (Least Common Multiplier) nlen Độ dài modulo n theo bit security_strength độ mạnh về an toàn (security_strength) là một số nguyên biểu thị lượng tính toán cần thiết để phá hệ mã N là ký hiệu độ dài theo bit của số nguyên tố q L là ký hiệu độ dài theo bit của số nguyên tố p || Toán tử nối hai chuỗi PKCS Tiêu chuẩn mật mã khóa công khai (Puplic Key Cryptography Standard) do Phòng thí nghiệm RSA (Mỹ) ban hành. PSS Lược đồ ký xác suất (Probabilistic Signature Scheme) RSA Tên của hệ mã do ba nhà toán học Rivest, Shamir và Adleman RSA sáng tạo ra RSAVP Phép toán cơ sở phục vụ cho kiểm tra chữ ký RSA RSASP Phép toán ký RSA cơ sở RSASSA Lược đồ ký RSA kèm phụ lục (RSA Signature Scheme with Appendix) SHA Thuật toán băm an toàn (Secure Hash Algorithm). Word Từ (32 bit) DSA Thuật toán chữ ký số EC Đường cong Elliptic ECDSA Thuật toán chữ ký số dựa trên đường cong Elliptic 1.5. Các ký hiệu IDA, IDB Định danh của các thực thể A và B Certx Chứng chỉ khóa công khai của thực thể X F(h,g) Hàm thỏa thuận khóa HASH Hàm băm DH Diffie-Hellman MQV Menezes-Qu-vanstone K Khóa bí mật cho hệ mật đối xứng KAB Khóa bí mật chia sẻ giữa hai thực thể A và B KTAi Thông báo thỏa thuận khóa được gửi bởi thực thể A sau giai đoạn xử lý i r Số ngẫu nhiên được sinh trong quá trình thực hiện của một lược đồ.
H Tập các phần tử có thể của r Sx Hàm tạo chữ ký sử dụng khóa riêng của thực thể X Vx Hàm kiểm tra chữ ký của thực thể X || Phép nối hai phần tử dữ liệu với nhau éxù Số nguyên nhỏ nhất lớn hơn hoặc bằng số thực x len(x) Độ dài số nguyên x tính bằng bit nlen Độ dài modulo n tính theo bit (n, e) Khóa công khai theo RSA (n, d) Khóa riêng theo RSA L Độ dài số nguyên tố p trong bài toán logarit rời rạc N Độ dài số nguyên tố q trong bài toán logarit rời rạc q Ước nguyên tố của p - 1 #(E) Cấp hay lực lượng của đường cong elliptic E m Bậc của điểm sinh G X(P) Hoành độ x của điểm P trên đường cong elliptic E h Các đồng thừa số được tính theo công thức h = #E/m l Thừa số phụ trong phép nhân đồng thừa số l = h-1mod m p(P) Phép biến đổi điểm P trên đường cong E thành số nguyên 1.5. Các ký hiệu IDA, IDB Định danh của các thực thể A và B Certx Chứng chỉ khóa công khai của thực thể X F(h,g) Hàm thỏa thuận khóa HASH Hàm băm DH Diffie-Hellman MQV Menezes-Qu-vanstone K Khóa bí mật cho hệ mật đối xứng KAB Khóa bí mật chia sẻ giữa hai thực thể A và B KTAi Thông báo thỏa thuận khóa được gửi bởi thực thể A sau giai đoạn xử lý i r Số ngẫu nhiên được sinh trong quá trình thực hiện của một lược đồ. H Tập các phần tử có thể của r Sx Hàm tạo chữ ký sử dụng khóa riêng của thực thể X Vx Hàm kiểm tra chữ ký của thực thể X || Phép nối hai phần tử dữ liệu với nhau éxù Số nguyên nhỏ nhất lớn hơn hoặc bằng số thực x len(x) Độ dài số nguyên x tính bằng bit nlen Độ dài modulo n tính theo bit (n, e) Khóa công khai theo RSA (n, d) Khóa riêng theo RSA L Độ dài số nguyên tố p trong bài toán logarit rời rạc N Độ dài số nguyên tố q trong bài toán logarit rời rạc q Ước nguyên tố của p - 1 #(E) Cấp hay lực lượng của đường cong elliptic E m Bậc của điểm sinh G X(P) Hoành độ x của điểm P trên đường cong elliptic E h Các đồng thừa số được tính theo công thức h = #E/m l Thừa số phụ trong phép nhân đồng thừa số l = h-1mod m p(P) Phép biến đổi điểm P trên đường cong E thành số nguyên
14.7. Giải mã Phép toán ngược với phép mã hóa tương ứng.
Điều 2. Thông tư này có hiệu lực thi hành kể từ ngày 09 tháng 12 năm 2016. Điều 2. QUY ĐỊNH KỸ THUẬT Điều 2.1. Quy định chung Điều 2.2. Mã khối Điều 2.3. Chế độ hoạt động của mã khối Điều 2.4. Mã dòng Điều 2. QUY ĐỊNH KỸ THUẬT Điều 2.1. Chữ ký số Điều 2.2. Hàm băm Điều 2. QUY ĐỊNH KỸ THUẬT Điều 2.1. Các yêu cầu đối với giao thức thỏa thuận và vận chuyển khóa Điều 2.2. Giao thức thỏa thuận khóa sử dụng kỹ thuật mật mã phi đối xứng trên trường hữu hạn Điều 2.3. Giao thức thỏa thuận khóa sử dụng mật mã trên đường cong elliptic Điều 2.4. Hàm dẫn xuất khóa KDF Điều 2.5. Giao thức vận chuyển khóa bí mật Điều 2.6. Giao thức vận chuyển khóa công khai Điều 2.7. Quy định kỹ thuật cho các tham số Điều 2. QUY ĐỊNH KỸ THUẬT Điều 2.1. Các yêu cầu đối với giao thức thỏa thuận và vận chuyển khóa Điều 2.2. Giao thức thỏa thuận khóa sử dụng kỹ thuật mật mã phi đối xứng trên trường hữu hạn Điều 2.3. Giao thức thỏa thuận khóa sử dụng mật mã trên đường cong elliptic Điều 2.4. Hàm dẫn xuất khóa KDF Điều 2.5. Giao thức vận chuyển khóa bí mật Điều 2.6. Giao thức vận chuyển khóa công khai Điều 2.7. Quy định kỹ thuật cho các tham số. Điều này trình bày hai giao thức truyền thông tin khóa công khai từ một thực thể A đến một thực thể B. Giao thức thứ nhất (giao thứ 2.6.1) không sử dụng bên thứ ba tin cậy, theo giao thức này để kiểm tra tính toàn vẹn và nguồn gốc của thông tin khóa công khai, hai thực thể sử dụng một hàm băm được quy định tại QCVN 5 : 2016/BQP. Giao thức thứ hai (giao thức 2.6.2) giả thiết là chứng thư khóa công khai hợp lệ CertA của A được cấp bởi bên thứ ba tin cậy là Tổ chức chứng thực và cấp chứng chỉ khóa công khai CA, theo giao thức này thực thể B có thể truy cập vào bản sao có xác thực của phép kiểm tra khóa công khai của tổ chức này. Điều này trình bày hai giao thức truyền thông tin khóa công khai từ một thực thể A đến một thực thể B. Giao thức thứ nhất (giao thứ 2.6.1) không sử dụng bên thứ ba tin cậy, theo giao thức này để kiểm tra tính toàn vẹn và nguồn gốc của thông tin khóa công khai, hai thực thể sử dụng một hàm băm được quy định tại QCVN 5 : 2016/BQP. Giao thức thứ hai (giao thức 2.6.2) giả thiết là chứng thư khóa công khai hợp lệ CertA của A được cấp bởi bên thứ ba tin cậy là Tổ chức chứng thực và cấp chứng chỉ khóa công khai CA, theo giao thức này thực thể B có thể truy cập vào bản sao có xác thực của phép kiểm tra khóa công khai của tổ chức này.
2.2.1. Giao thức Bước 1.
Kiến thiết thẻ khóa (A1): Thực thể A sinh một giá trị ngẫu nhiên và bí mật rA thuộc H, tính F(rA,g), kiến thiết thẻ khóa KTA1 và gửi tới thực thể B: KTA1 = F(rA,g) || Text1 Bước 2. Xử lý thẻ khóa và Kiến thiết khóa (B1): Thực thể B sinh một giá trị ngẫu nhiên và bí mật rB thuộc H, tiếp đó tính F(rB, g), rồi tính khóa bí mật dùng chung: KAB = F(rB,F(rA,g)) Tiếp theo, thực thể B tạo thẻ khóa KTB1 được ký như sau: KTB1 = SB(DB1) || (DB1) || Text3 trong đó DB1 = F(rB,g) || F(rA,g) || IDA || Text2 và gửi ngược trở lại cho thực thể A. Hình 1: Giao thức thỏa thuận khóa bí mật chia sẻ KAB Bước 3. Xử lý thẻ khóa (A2): Thực thể A kiểm tra chữ ký của thực thể B trên thẻ khóa KTB1 bằng cách sử dụng khóa kiểm tra công khai của B, kiểm tra định danh phân biệt của A và giá trị F(rA,g) đã được gửi ở Bước 1 (A1). Nếu quá trình kiểm tra thành công thì thực thể A sẽ tính khóa bí mật dùng chung là: KAB = F(rA,F(rB,g)) Thực thể A lại sử dụng khóa bí mật dùng chung KAB để kiểm tra giá trị kiểm tra mật mã (DB1). Sau đó thực thể A tạo thẻ khóa KTA2 được ký như sau: KTA2 = SA(DB2) || (DB2) || Text5 trong đó DB2 = F(rA,g) || F(rB,g) || IDB || Text4 và gửi thẻ này tới thực thể B. Bước 4. Xử lý thẻ khóa (B2): Thực thể B kiểm tra chữ ký của thực thể A trên thẻ khóa KTA2 sử dụng khóa kiểm tra công khai của A, sau đó kiểm tra định danh phân biệt của B và kiểm tra các giá trị F(rA,g), và F(rB,g), xem có phù hợp với các giá trị được trao đổi ở các bước trước hay không. Nếu quá trình kiểm tra thành công thì thực thể B sẽ kiểm tra giá trị kiểm tra mật mã (DB2) bằng cách tính: KAB = F(rA,,F(rB,g)) Bước 5. Thực thể A và thực thể B tính khóa bí mật chung K Các thực thể A và B sử dụng hàm dẫn xuất khóa tại Điều 2.4 để tính khóa K = KDF(KAB, Otherlnput) Trong đó OtherInput chứa các định danh IDA, IDB của A,B và các thông tin khác do A và B thỏa thuận. CHÚ THÍCH: Các trường Text1, Text2, Text3, Text4, Text5 là những trường dữ liệu chứa chứng thư số của A và B, và có thể một số thông tin khác như tem thời gian, định danh phiên liên lạc, v.v..) 2.2.2. Hàm thỏa thuận khóa 2.2.2.1.
Hàm thỏa thuận khóa DH Cho trường hữu hạn nguyên tố Fp, ký hiệu tập H = {1, ...,p - 2}; g là phần tử sinh thuộc hàm thỏa thuận khóa Diffie-Hellman (DH) được xác định theo công thức: F(h,g) = gh,h Î H CHÚ THÍCH: Với hàm thỏa thuận DH thì thẻ khóa KTA1 có dạng : 2.2.2.2. Hàm thỏa thuận khóa MQV - (a,A); (b, B) là cặp khóa phi đối xứng tĩnh của A và B, A = ga, B = gb - (x,X),(y,Y) là cặp khóa phi đối xứng tức thời của A và B, X = gx,Y = gy, d = 2l + (X mod 2l), e = 2l + (Y mod 2l), l = |p|/2, l độ dài p tính bằng bit, F(x, g) = (YBe)x+da = (XAd)y+eb 2.2.1. Giao thức Bước 1. Kiến thiết thẻ khóa (A1): Thực thể A sinh một giá trị ngẫu nhiên và bí mật rA thuộc H, tính F(rA,g), kiến thiết thẻ khóa KTA1 và gửi tới thực thể B: KTA1 = F(rA,g) || Text1 Bước 2. Xử lý thẻ khóa và Kiến thiết khóa (B1): Thực thể B sinh một giá trị ngẫu nhiên và bí mật rB thuộc H, tiếp đó tính F(rB, g), rồi tính khóa bí mật dùng chung: KAB = F(rB,F(rA,g)) Tiếp theo, thực thể B tạo thẻ khóa KTB1 được ký như sau: KTB1 = SB(DB1) || (DB1) || Text3 trong đó DB1 = F(rB,g) || F(rA,g) || IDA || Text2 và gửi ngược trở lại cho thực thể A. Hình 1: Giao thức thỏa thuận khóa bí mật chia sẻ KAB Bước 3. Xử lý thẻ khóa (A2): Thực thể A kiểm tra chữ ký của thực thể B trên thẻ khóa KTB1 bằng cách sử dụng khóa kiểm tra công khai của B, kiểm tra định danh phân biệt của A và giá trị F(rA,g) đã được gửi ở Bước 1 (A1). Nếu quá trình kiểm tra thành công thì thực thể A sẽ tính khóa bí mật dùng chung là: KAB = F(rA,F(rB,g)) Thực thể A lại sử dụng khóa bí mật dùng chung KAB để kiểm tra giá trị kiểm tra mật mã (DB1). Sau đó thực thể A tạo thẻ khóa KTA2 được ký như sau: KTA2 = SA(DB2) || (DB2) || Text5 trong đó DB2 = F(rA,g) || F(rB,g) || IDB || Text4 và gửi thẻ này tới thực thể B. Bước 4. Xử lý thẻ khóa (B2): Thực thể B kiểm tra chữ ký của thực thể A trên thẻ khóa KTA2 sử dụng khóa kiểm tra công khai của A, sau đó kiểm tra định danh phân biệt của B và kiểm tra các giá trị F(rA,g), và F(rB,g), xem có phù hợp với các giá trị được trao đổi ở các bước trước hay không. Nếu quá trình kiểm tra thành công thì thực thể B sẽ kiểm tra giá trị kiểm tra mật mã (DB2) bằng cách tính: KAB = F(rA,,F(rB,g)) Bước 5.
Thực thể A và thực thể B tính khóa bí mật chung K Các thực thể A và B sử dụng hàm dẫn xuất khóa tại Điều 2.4 để tính khóa K = KDF(KAB, Otherlnput) Trong đó OtherInput chứa các định danh IDA, IDB của A,B và các thông tin khác do A và B thỏa thuận. CHÚ THÍCH: Các trường Text1, Text2, Text3, Text4, Text5 là những trường dữ liệu chứa chứng thư số của A và B, và có thể một số thông tin khác như tem thời gian, định danh phiên liên lạc, v.v..) 2.2.2. Hàm thỏa thuận khóa 2.2.2.1. Hàm thỏa thuận khóa DH Cho trường hữu hạn nguyên tố Fp, ký hiệu tập H = {1, ...,p - 2}; g là phần tử sinh thuộc hàm thỏa thuận khóa Diffie-Hellman (DH) được xác định theo công thức: F(h,g) = gh,h Î H CHÚ THÍCH: Với hàm thỏa thuận DH thì thẻ khóa KTA1 có dạng : 2.2.2.2. Hàm thỏa thuận khóa MQV - (a,A); (b, B) là cặp khóa phi đối xứng tĩnh của A và B, A = ga, B = gb - (x,X),(y,Y) là cặp khóa phi đối xứng tức thời của A và B, X = gx,Y = gy, d = 2l + (X mod 2l), e = 2l + (Y mod 2l), l = |p|/2, l độ dài p tính bằng bit, F(x, g) = (YBe)x+da = (XAd)y+eb
a) S-Box Bảng 2: S-Box: các giá trị thay thế cho byte {xy} (theo dạng thập lục phân)
b) S-Box nghịch đảo Bảng 3: S-Box nghịch: thay thế các giá trị theo byte {xy} (dạng thập lục phân)
2.3.1. Giao thức DH Bước 1. Kiến thiết thẻ khóa (A1) Thực thể A chọn ngẫu nhiên và bí mật số rA thuộc khoảng {2,…, m - 2}, tính rAG, kiến thiết thẻ khóa KTA1 =rAG và gửi cho B. Bước 2. Xử lí thẻ khóa và kiến thiết thẻ khóa (B1) Thực thể B kiểm tra thẻ khóa KTA1 có phải là điểm nằm trên đường cong Elliptic hay không (kiểm tra theo tiêu chuẩn ISO/IEC 15946-1). Thực thể B chọn ngẫu nhiên và bí mật rB thuộc khoảng {2, …, m- 2}, tính rBG, tính bí mật chia sẻ KAB = (rBl)(hKTA1), kiến thiết thẻ được ký hiệu KTB1: KTB1 = SB(DB1) || (DB1) với DB1 = rBG || KTA1 || IDA || Text1 và gửi cho A. Bước 3. Xử lí thẻ khóa (A2) Thực thể A kiểm tra chữ ký của B trên thẻ khóa KTB1 sử dụng khóa kiểm tra công khai của B. Nếu sử dụng lược đồ chữ ký có khôi phục bản rõ thì việc kiểm tra bao gồm cả việc khôi phục khối dữ liệu DB1 từ chữ ký và kiểm tra liệu định danh phân biệt của A và giá trị rAG có chứa trong DB1 không.
(KTB1 + p(KTB1)PB)) và kiểm tra MACK(2,KTA1,KTB1) Tiếp đó A tính MACK(3,KTA1,KTB1) và gửi cho B. Bước 4. Kiểm tra (B2) Thực thể B tính MACK(3,KTA1,KTB1) và kiểm tra thực thể A. 2.3.1. Giao thức DH Bước 1. Kiến thiết thẻ khóa (A1) Thực thể A chọn ngẫu nhiên và bí mật số rA thuộc khoảng {2,…, m - 2}, tính rAG, kiến thiết thẻ khóa KTA1 =rAG và gửi cho B. Bước 2. Xử lí thẻ khóa và kiến thiết thẻ khóa (B1) Thực thể B kiểm tra thẻ khóa KTA1 có phải là điểm nằm trên đường cong Elliptic hay không (kiểm tra theo tiêu chuẩn ISO/IEC 15946-1). Thực thể B chọn ngẫu nhiên và bí mật rB thuộc khoảng {2, …, m- 2}, tính rBG, tính bí mật chia sẻ KAB = (rBl)(hKTA1), kiến thiết thẻ được ký hiệu KTB1: KTB1 = SB(DB1) || (DB1) với DB1 = rBG || KTA1 || IDA || Text1 và gửi cho A. Bước 3. Xử lí thẻ khóa (A2) Thực thể A kiểm tra chữ ký của B trên thẻ khóa KTB1 sử dụng khóa kiểm tra công khai của B. Nếu sử dụng lược đồ chữ ký có khôi phục bản rõ thì việc kiểm tra bao gồm cả việc khôi phục khối dữ liệu DB1 từ chữ ký và kiểm tra liệu định danh phân biệt của A và giá trị rAG có chứa trong DB1 không. Nếu sử dụng chữ ký có đính kèm bản rõ thì việc kiểm tra bao gồm cả việc thiết kế lại khối dữ liệu DB1 sử dụng giá trị trong KTA1, định danh phân biệt của A, giá trị nhận được rBG và kiểm tra chữ ký trên khối dữ liệu này. Tiếp đó thực thể A kiểm tra, liệu giá trị rBG nhận được từ KTB1 có phải là điểm trên đường cong elliptic hay không (kiểm tra theo tiêu chuẩn ISO/IEC 15946-1). Nếu đúng thì A tính khóa chia sẻ KAB = (rA.l)(h.rBG). Sử dụng KAB, thực thể A kiểm tra (DB1). Tiếp đó A thiết kế thẻ khóa có ký hiệu KTA2 = SA(DB2) || (DB2) ở đây DB2 = rAG || rBG || B || Text2 (DB2 = rAG || rBG || IDB || Text2) và gửi cho B. Bước 4. Xử lí thẻ khóa (B2) Thực thể B kiểm tra chữ ký của A trên thẻ khóa KTA2 bằng cách sử dụng khóa kiểm tra công khai của A. Nếu sử dụng sơ đồ chữ ký có khôi phục bản rõ thì điều này bao gồm cả việc khôi phục khối dữ liệu DB2 từ chữ ký và kiểm tra định danh phân biệt của B, các giá trị rAG và rBG có chứa trong khối này không. Nếu sử dụng chữ ký có đính kèm bản rõ thì việc kiểm tra bao gồm cả việc thiết kế lại khối dữ liệu DB2 sử dụng các giá trị trong KTA1 và KTB1, định danh phân biệt của B và kiểm tra chữ ký trên khối dữ liệu này. Nếu việc kiểm tra thành công thì thực thể B kiểm tra (DB2) sử dụng khóa chia sẻ KAB = (rBl)(hKTA1). Bước 5.
Thiết lập khóa bí mật K Thực thể A và B sử dụng hàm dẫn xuất khóa KDF tại Điều 2.4 để thiết lập khóa bí mật. K = KDF(KAB,OtherInput). 2.3.2. Thỏa thuận khóa MQV Bước 1. Thiết kế thẻ khóa (A1) Thực thể A chọn ngẫu nhiên và bí mật số rA thuộc khoảng {2,…,m - 2} tính rAG và kiến thiết thẻ khóa KTA1 = rAG và gửi cho thực thể B. Bước 2. Kiến thiết thẻ khóa (B1) Thực thể B kiểm tra thẻ KTA1 có phải là điểm trên đường cong elliptic (kiểm tra theo tiêu chuẩn ISO/IEC 15946-1:2016). Thực thể B chọn ngẫu nhiên và bí mật số rB thuộc khoảng {2,...,m - 2}, tính rBG, thiết kế thẻ khóa KTB1 = rBG, tiếp đó tính khóa bí mật chia sẻ KAB: KAB = ((rB + n(KTB1)dB).l)(h.(KTA1 + p(KTA1)PA)) Tiếp đó B tính K = KDF(KAB) và gửi (2,KTA1,KTB1) gửi MACK(2,KTA1,KTB1) cho A cùng với thẻ khóa KTB1. Bước 3. Kiến thiết thẻ khóa (A2) Thực thể A tính khóa bí mật chia sẻ : KAB = ((rA + p(KTA1)dA).l)(h.(KTB1 + p(KTB1)PB)) và kiểm tra MACK(2,KTA1,KTB1) Tiếp đó A tính MACK(3,KTA1,KTB1) và gửi cho B. Bước 4. Kiểm tra (B2) Thực thể B tính MACK(3,KTA1,KTB1) và kiểm tra thực thể A.
a) Các biến được sử dụng trong chế độ CBC: 1) Dãy q khối bản rõ có độ dài n bit P1, P2, …, Pq. 2) Khóa bí mật K. 3) Dãy các biến khởi đầu có độ dài n bit SV1, SV, ...,SVm. a) Các biến đầu vào 1) Dãy q biến bản rõ độ dài j bit P1, P2, …, Pq. 2) Khóa bí mật K. 3) Biến khởi đầu độ dài r bit. a) Xi = n~FBi (Lựa chọn n bit tận cùng bên trái của FB). a) Xi = n~FBi (Lựa chọn n bit tận cùng bên trái của FB). a) Các biến đầu vào: 1) Dãy q biến bản rõ độ dài j bit P1, P2, ... Pq. 2) Khóa bí mật K. 3) Biến khởi đầu độ dài n bit. a) Yi = ek(Xi) (Sử dụng mã khối). a) Yi = ek(Xi) (Sử dụng mã khối). a) Các biến đầu vào: 1) Dãy q biến bản rõ độ dài j bit P1, P2, …, Pq, mỗi biến có độ dài j bit. 2) Khóa bí mật K. 3) Biến khởi đầu SV có độ dài n bit. a) Yi = eK(CTRi) (Sử dụng mã khối). a) Yi = eK(CTRi) (Sử dụng mã khối).
b) Các biến đầu ra là dãy q biến bản mã có độ dài n bit C1, C2,..., Cq b) Các kết quả trung gian: 1) Dãy q khối đầu vào của mã khối độ dài n bit X1,X2,...,Xq. 2) Dãy q khối đầu ra của mã khối độ dài n bit Y1,Y2,...,Yq. 3) Dãy q biến độ dài j bit E1,E2,...,Eq. 4) Dãy q - 1 biến phản hồi độ dài k bit F1,F2,...,Fq-1. 5) dãy q nội dung bộ đệm phản hồi độ dài r bit FB1,FB2,...,FBq. b) Yi = eK(Xi) (Sử dụng mã khối). b) Yi = eK(Xi) (Sử dụng mã khối). b) Các kết quả trung gian: 1) Dãy q khối đầu vào của mã khối độ dài n bit X1, X2,..., Xq. 2) Dãy q khối đầu ra của mã khối độ dài n bit Y1, Y2,..., Yq. 3) Dãy q biến độ dài j bit E1, E2,..., Eq. b) Ei = j~Yi (Chọn j bit tận cùng bên trái). b) Ei = j~Yi (Chọn j bit tận cùng bên trái). b) Các kết quả trung gian: 1) Dãy q khối đầu vào của mã khối độ dài n bit CTR1,CTR2,...,CTRq. 2) Dãy q khối đầu ra của mã khối độ dài n bit Y1,Y2,...,Yq. 3) Dãy q biến độ dài j bit E1,E2,...,Eq. b) Ei = j~Yi (Chọn j bit tận cùng bên trái của Yi). b) Ei = j~Yi (Chọn j bit tận cùng bên trái của Yi).
c) Các biến đầu ra là dãy q biến bản mã độ dài j bit C1,C2,...,Cq. c) Ei = j~Yi (Lựa chọn j bit tận cùng bên trái của Yi). c) Ei = j~Yi (Lựa chọn j bit tận cùng bên trái của Yi). c) Các biến đầu ra là dãy q biến bản mã độ dài j bit C1, C2,..., Cq. c) Ci = Pi Å Ei (Tạo biến bản mã). c) Ci = Pi Å Ei (Tạo biến bản mã). c) Các biến đầu ra là dãy q biến bản mã độ dài j bit C1,C2,...,Cq. c) Ci = Pi Å Ei (Tạo ra biến bản mã). c) Pi = Ci Å Ei (Tạo biến bản rõ).
d) Ci = Pi Å Ei (Tạo biến bản mã). d) Pi = Ci Å Ei (Tạo biến bản rõ). d) Xi+1 = Yi (Phép toán phản hồi). Các bước trên lặp với biến đếm i = 1,2,…,q, trong vòng lặp cuối dừng lại tại bước (c). Các biến bản mã và bản rõ có các bit với chỉ số từ 1 đến j. Kết quả của mỗi lần sử dụng mã khối là Yi và được đưa trở lại thành giá trị tiếp theo của X, đặt là Xi+1. j bit tận cùng bên trái của Yi được sử dụng để mã hóa biến đầu vào.
d) Xi+1 = Yi (Phép toán phản hồi). Các bước trên lặp với biến đếm i = 1,2,…,q, trong vòng lặp cuối dừng lại tại bước (c). Các biến bản mã và bản rõ có các bit với chỉ số từ 1 đến j. Kết quả của mỗi lần sử dụng mã khối là Yi và được đưa trở lại thành giá trị tiếp theo của X, đặt là Xi+1. j bit tận cùng bên trái của Yi được sử dụng để giải mã biến đầu vào. Hình 11: Chế độ phản hồi đầu ra OFB d) CTRi+1 = (CTRi + 1)mod 2n (Tạo ra giá trị đếm mới CTR). Các bước trên lặp với biến đếm i = 1,2,…,q, trong vòng lặp cuối dừng lại tại bước (c). Các biến bản mã và bản rõ có các bit có chỉ số từ 1 đến j. Giá trị đếm được mã hóa để đưa ra khối đầu ra Yi và j bit tận cùng bên trái của khối đầu ra Yi được sử dụng để mã hóa giá trị đầu vào. CTR sau đó được tăng 1 (modulo 2n) để tạo ra giá trị đếm mới. d) CTRi+1 = (CTRi + 1)mod 2n (Tạo ra giá trị đếm mới CTR). Các bước trên lặp với biến đếm i = 1,2,…,q, trong vòng lặp cuối dừng lại tại bước (c). Các biến bản mã và bản rõ có các bit có chỉ số từ 1 đến j. Giá trị đếm được mã hóa để đưa ra khối đầu ra Yi và j bit tận cùng bên trái của khối đầu ra Yi được sử dụng để mã hóa giá trị đầu vào. CTR sau đó được tăng 1 (modulo 2n) để tạo ra giá trị đếm mới. Hình 12: Chế độ đếm CTR
e) Fi = I(k - j)|Ci (Tạo biến phản hồi). e) Fi = l(k - j)|Ci (Tạo biến phản hồi).
f) FBi+1 = Sk(FBi|Fi) (Hàm dịch chuyển trên FB). Các bước trên lặp với biến đếm i = 1,2,…,q, trong vòng lặp cuối dừng lại tại bước (d). j bit tận cùng bên trái của khối đầu ra Y của mã khối được sử dụng để mã hóa j-bit biến bản rõ theo phép cộng modulo 2. Các bit còn lại của Y được bỏ đi. Các bit biến bản rõ/bản mã có chỉ số từ 1 đến j. Biến bản mã được tăng thêm bằng cách đặt k - j bit trong vị trí bit tận cùng bên trái của mình để tạo biến phản hồi F độ dài k-bit. Sau đó các bit của bộ đệm phản hồi FB được dịch trái đi k vị trí và F được thêm vào vị trí k tận cùng bên phải để tạo ra giá trị mới của bộ đệm phản hồi FB. Trong phép toán dịch, k bit tận cùng bên trái của FB được bỏ đi. n bit tận cùng bên trái mới của FB được sử dụng như là đầu vào tiếp theo của X trong quá trình mã hóa. f) FBi+1 = Sk(FBi|Fi) (Hàm dịch chuyển trên FB). Các bước trên lặp với biến đếm i = 1,2,…,q, trong vòng lặp cuối dừng lại tại bước (d). j bit tận cùng bên trái của khối đầu ra Y của mã khối được sử dụng để giải mã biến bản mã theo phép cộng modulo 2.