915837

Tiêu chuẩn quốc gia TCVN 11367-2:2016 (ISO/IEC 18033-2:2006) về Công nghệ thông tin – Các kỹ thuật an toàn – Thuật toán mật mã – Phần 2: Mật mã phi đối xứng

915837
Tư vấn liên quan
LawNet .vn

Tiêu chuẩn quốc gia TCVN 11367-2:2016 (ISO/IEC 18033-2:2006) về Công nghệ thông tin – Các kỹ thuật an toàn – Thuật toán mật mã – Phần 2: Mật mã phi đối xứng

Số hiệu: TCVN11367-2:2016 Loại văn bản: Tiêu chuẩn Việt Nam
Nơi ban hành: *** Người ký: ***
Ngày ban hành: 01/01/2016 Ngày hiệu lực: Đã biết
Ngày công báo: Đang cập nhật Số công báo: Đang cập nhật
Tình trạng: Đã biết
Số hiệu: TCVN11367-2:2016
Loại văn bản: Tiêu chuẩn Việt Nam
Nơi ban hành: ***
Người ký: ***
Ngày ban hành: 01/01/2016
Ngày hiệu lực: Đã biết
Ngày công báo: Đang cập nhật
Số công báo: Đang cập nhật
Tình trạng: Đã biết

Số nguyên lớn nhất nhỏ hơn hoặc bằng số thực x. Ví dụ:

, và

Số nguyên nhỏ nhất lớn hơn hoặc bằng số thực x. Ví dụ:

 và

[a..b]

Khoảng các số nguyên tử a đến b, tính cả a và b

[a..b)

Khoảng số nguyên tử a đến b, tính cả a nhưng không tính b

|X|

Là lực lượng của X, nếu X là tập hợp hữu hạn; là tập hợp phần tử cơ sở nếu X là nhóm abel hoặc trường hữu hạn; là giá trị tuyệt đối nếu X là số thực; là độ dài của xâu bit hoặc xâu bộ tám nếu X là xâu bit hay xâu bộ tám

CHÚ THÍCH Xem Điều 5.2.1, 5.2.2.

x Å y

Phép cộng XOR, nếu xy là xâu bit/octet có cùng độ dài

CHÚ THÍCH Xem Điều 5.2.1, 5.2.2.

<x1,…,xl>

Xâu bit/octet độ dài l, ở đó x1,x2,….,xl là bit/octet

CHÚ THÍCH Xem Điều 5.2.1, 5.2.2.

x||y

Phép ghép hai xâu bit/octet  x và y, kết quả được xâu với phần đầu là x, phần kế sau là y

CHÚ THÍCH Xem Điều 5.2.1 và 5.2.2.

gcd(a,b)

Ước số chung lớn nhất của hai số nguyên ab, nghĩa là số nguyên dương lớn nhất chia hết cho cả ab (hoặc 0 nếu a = b = 0)

a|b

Quan hệ giữa các số nguyên a và b sao cho a chia hết b, tức tồn tại số c để b = ac

a = b(mod n)

Quan hệ giữa hai số nguyên a và b sao cho a và b đồng dư theo modulo n, nghĩa là n|a - b., trong đó n là s nguyên khác 0

amod n

Số nguyên duy nht r Î [0,,…n) sao cho r = a(mod n)

a-1 mod n

Số nguyên duy nhất b b Î [0,…,n) sao cho ab = 1(mod n), trong đó a là số nguyên, n số nguyên dương

F*

Nhóm nhân các đơn vị của F, trong đó F trường hữu hạn

0F

Phần tử đồng nhất theo phép cộng (phần tử 0) của trường F.

1F

Phần tử đồng nhất theo phép nhân của trường F.

BS2IP

Nguyên thủy biến đổi xâu bit thành số nguyên

CHÚ THÍCH Xem Điều 5.2.5.

EC2OSP

Nguyên thủy biến đổi đường cong elliptic thành xâu bộ tám (xem Điều 5.4.3)

FE2OSP

Nguyên thy biến đổi phần tử trường thành xâu bộ tám (xem Điều 5.3.1.)

FE2IP

Nguyên thủy biến đổi phần tử trường thành số nguyên (xem Điều 5.3.1.)

I2BSP

Nguyên thủy biến đổi s nguyên thành xâu bit (xem Điều 5.2.5.)

I2OSP

Nguyên thủy biến đổi số nguyên thành xâu bộ tám (xem Điều 5.2.5.)

OS2ECP

Nguyên thủy biến đổi xâu bộ tám thành đường cong elliptic (xem Điều 5 4.3)

OS2FEP

Nguyên thủy biến đi xâu bộ tám thành phần tử trường (xem Điều 5.3.1.)

OS2IP

Nguyên thủy biến đổi xâu bộ tám thành số nguyên (xem Điều 5.2.5.)

Oct(m)

Bộ tám có giá trị nguyên bằng m (xem Điều 5.2.4.)

£(n)

 Độ dài của số nguyên n tính bằng octet (xem Điều 5.2.5.)

5. Cơ sở toán học

Điều này mô tả cơ sở toán học được sử dụng trong phần này của ISO/IEC 18033, bao gồm việc trình bày các đối tượng toán học và các nguyên thủy cho biến đổi các dạng dữ liệu.

5.1. Hàm và thuật toán biến đổi

Để tiện cho trình bày, các hàm và các hàm ngẫu nhiên (tức những hàm mà giá trị của nó không chỉ phụ thuộc vào giá trị đầu vào, mà còn vào việc chọn giá trị ngẫu nhiên b trợ), thường được xác định ở dạng thuật toán. Ngoại trừ những trường hợp sẽ được nói rõ, người thực thi có thể chọn để khai thác bất kỳ thuật toán tương đương nào (nghĩa là, chọn thuật toán dẫn đến cùng một hàm hoặc hàm ngẫu nhiên). Ngoài ra trong trường hợp hàm ngẫu nhiên, khi mà thuật toán mô tả hàm chỉ ra giá tr ngẫu nhiên, người thực thi có thể sử dụng bộ tạo ngẫu nhiên tương ứng để sinh ra giá tr đó (xem ISO/IEC 18031 với hướng dẫn chi tiết hơn về vấn đề này).

Trong mô tả hàm bằng ngôn ngữ thuật toán, quy ước sau đây được chấp nhận. Một thuật toán có thể tính toán cho ra được giá trị, hoặc ngược lại, có thể thất bại (tức không tính được giá tr). Theo quy ước, nếu thuật toán thất bại, thì trừ khi có ghi chú thêm, một thuật toán khác, sử dụng thuật toán này như một chương trình con, cũng s thất bại.

CHÚ THÍCH Như vậy khái niệm thất bại cũng tương tự như khái niệm đưa ra ngoại lệ(throwing an exception) trong nhiều ngôn ngữ lập trình. Tuy nhiên điều này cũng có thể coi như thuật toán trả về một giá trị đặc biệt, khác với tất cả các giá trị khác được thuật toán đưa ra khi nó không thất bại. Với cách cắt nghĩa như vậy v thất bại, thuật toán vẫn được coi là mô tả hàm. Chi tiết v việc, làm thế nào đ thực thi hiệu quả khi thuật toán thất bại, không trình bày ở đây. Tuy nhiên, trong các thực thi thông thưng, thuật toán có th trả v một số dạng mã lỗi cho môi trưng thực thi của nó và như vậy nó ch ra nguyên nhân thất bại. Cũng cn lưu ý rằng trong một số trưng hợp, vì lý do bo mt, trong khi thực thi cn quan tâm để không đ lộ lý do chính xác của một số dạng lỗi nht định.

5.2. Xâu bit và xâu bộ tám

5.2.1. Bit và xâu bit

Bit là một trong hai ký hiệu ‘0’ và ‘1’.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Với xâu bit x =  <x1,…,xl>, độ dài l của x được ký hiệu là |x|, và nếu l > 0 thì x1 được gọi là bit đầu, xl được gọi là bit cui của x.

Với hai xâu bít x y, x||y ký hiệu kết quả ghép x và y, bi vậy nếu x =  <x1,…,xl>, y =  <y1,…,ym> thì x||y =  <x1,…,xl,y1,…,ym>

Nếu x và y là hai xâu bit có cùng độ dài l, thì x Å y ký hiệu phép cộng bit XOR của x và y.

Xâu bit có độ dài bằng 0 được gọi là xâu bit rỗng.

CHÚ THÍCH Không có một toán t nào được đnh nghĩa dành riêng cho xâu bit, nên nếu x là xâu bit, thì xi không nht thiết ký hiệu một bit cụ th của x.

5.2.2. Bộ tám (octet) và xâu bộ tám (octet)

Bộ tám là xâu bit có độ dài bằng 8.

Xâu bộ tám là dãy các bộ tám.

Cho các octet x1,…,xl, thì <x1,…,xl> là ký hiệu xâu bộ tám độ dài l gồm các bộ tám x1,…,xl theo thứ tự đã cho.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Với hai xâu bộ tám x và y, x||y là ký hiệu kết quả ghép x và y, bởi vậy nếu x = <x1,…,xl>, y = <y1,…,yl> thì x||y = <x1,…,xl,y1,…,ym>

Nếu x và y là hai xâu bộ tám có cùng độ dài, thì x Å y ký hiệu phép cộng bit XOR của x và y.

Xâu bộ tám có độ dài bằng 0 được gọi là xâu bộ tám rỗng.

CHÚ THÍCH 1 Không có toán t nào được xác định dành riêng cho tập các xâu octet. Do đó nếu x là xâu bộ tám, thi xi không nhất thiết ký hiệu một bộ tám cụ thể của x.

CHÚ THÍCH 2 Để ý rằng, vì bộ tám là xâu bit có độ dài bằng 8, nên nếu x và y là các bộ tám, thì x||y độ dài bằng 16, nếu <x><y> mỗi xâu có độ dài bằng 1 thì <x> II <y> = <x,y> là xâu bộ tám độ dài bằng 2.

5.2.3. Chuyển đổi giữa xâu bit và xâu bộ tám

Các nguyên thủy OS2BSPBS2OSP chuyển đổi giữa các xâu bit và xâu bộ tám được định nghĩa như sau:

Hàm OS2BSP(x): đầu vào là xâu bộ tám x = <x1,…,xl> và đầu ra là xâu bit y = x1||x2…||xl.

Hàm BS2OSP(y): đầu vào là xâu bit y với độ dài là bội số của 8, đầu ra là xâu bộ tám duy nhất X sao cho y = OS2BSP(x).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Các nguyên thủy BS2IPI2BSP thực hiện chuyển đổi giữa xâu bit và số nguyên được định nghĩa như sau.

Hàm BS2IP (x) ánh xạ xâu bit x vào giá trị nguyên x', như sau. Nếu x = <xl-1,…,x0>, ở đây x0,…xl-1 là các bit, khi đó giá trị x' bng

Hàm I2BSP(m, l) nhận đu vào là hai số nguyên không âm ml, đầu ra là xâu bit duy nhất x độ dài l sao cho BS2IP(x) = m, nếu tồn tại X như vậy. Ngược lại, hàm thất bại.

Độ dài tính bằng bit của số nguyên không âm n là số bit trong biểu diễn nhị phân của nó, tức

Để tiện ký hiệu, đặt Oct(m) = I2BSP(m, 8).

CHÚ THÍCH Lưu ý rằng l2BSP(m,l) thất bại khi và ch khi độ dài của m tính bằng bít lớn hơn l.

5.2.5. Chuyển đổi giữa xâu bộ tám và số nguyên

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Hàm OS2IP(x): đầu vào là xâu bộ tám, đầu ra là số nguyên BS2IP(OS2BSP(x)).

Hàm I2OSP(m,l): đầu vào là hai số nguyên không âm m, l, đầu ra là xâu bộ tám (octet) duy nhất x, độ dài l, tha mãn hệ thức OS2IP(x) = m, nếu số nguyên x như vậy tồn tại. Ngược lại, hàm thất bại.

Độ dài tính bằng octet của số nguyên không âm n là số chữ số trong biểu diễn cơ số 256, nghĩa là ; đại lượng này được ký hiệu là  £(n).

CHÚ THÍCH Chú ý rằng I2OSP(m, l) tht bại khi và ch khi độ dài của m tính bằng bộ tám (octet) lớn hơn l.

5.3. Trường hữu hạn

Điều này mô tả một cấu trúc rất khái quát để mô tả các trường hữu hạn đặc biệt. Trường hữu hạn được xác định bng cách này được gọi là trường hữu hạn được cho dưới dạng tường minh, và được xác định bởi dữ liệu hiện.

Với trường hữu hạn F có lực lượng q = pe, ở đây p là số nguyên tố và e ≥ 1, dữ liệu hiện của F bao gồm p e, cùng với “bảng nhân” là ma trận T = (Tij)1≤i,j≤e, trong đó mỗi Tij là bộ e phần tử (e-tuple) từ tập hợp [0,…,p).

Tập hợp các phần tử của trường F là tập hợp tt cả các bộ e phần tử trên [0,…,p). Đầu vào của T được coi như các phần tử của F.

Phép cộng trong F được định nghĩa như sau:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

a = (a1,…,ae) Î Fb = (b1,…,be) Î F,

Khi đó a + b = c, với

c = (c1,…,ce) ci = (ai + bi) mod p (1 ≤ i ≤ e).

Phép nhân vô hướng trong F (nhân một phần tử của F với một số thuộc [0,…,p)) như sau:

Nếu

a = (a1,…,ae) Î Fd Î [0…p),

Khi đó d.a = c với

c = (c1,…,ce) ci = (d.ai) mod p (1 ≤ i ≤ e).

Phép nhân trên trường F được xác định thông qua bảng nhân T, như sau:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

a = (a1,…,ae) Î Fb = (b1,…,be) Î F,

thì ,

Trong công thức trên cách tích (aibj mod p)Tij được xác định theo quy tắc tích vô hướng đã nêu trên, và chúng được cộng lại theo quy tắc phép cộng trong F. Giả thiết là bảng nhân xác định một cấu trúc đại số thỏa mãn các tiên đề thông thường của trường; nói riêng, tồn tại các phần tử đồng nhất đối với phép cộng và phép nhân (tức phần tử trung hòa và đơn v), mỗi phần tử của trường có phần tử nghịch đảo đối với phép cộng (phần tử đối) và phần t nghịch đảo đối với phép nhân.

Nhận thấy rằng phần tử đồng nhất đối với phép cộng của F, ký hiệu là 0F, chính là bộ e phần tử gồm các phần tử 0 và phần tử đồng nht đối với phép nhân được ký hiệu là 1F, là bộ e phần tử khác không với định dạng chính xác của 1F phụ thuộc vào T.

CHÚ THÍCH 1 Trưng F là không gian véc tơ có số chiu là e, xác định trên trường nguyên tố F, có lực lượng bằng p, với phép nhân vô hướng đã được định nghĩa trên đây. Số nguyên tố p được gọi là đặc số của trường F. Với 1 ≤ i ≤ e, ký hiệu qi là bộ e-phần tử (e-tuple) trên F' sao cho thành phần thứ i của nó là 1 và tất cả thành phần còn lại bằng 0. Các phần tử q1,..,qe tạo thành cơ sở của không gian véc tơ F trên F'. Lưu ý rằng với mọi 1 i, j e, ta có qiqj = Tij.

CHÚ THÍCH 2 Với e > 1, có hai kiểu cơ sở cùng được sử dụng trong thực thi các phép toán số học trên trường hữu hạn:

- q1,…qe được gi là cơ sở đa thức cho F trên F' nếu tồn tại q thuộc F sao cho qi = qe-1 vi mọi 1 ≤ i ≤ e. Rõ ràng ta có 1F = qe.

- q1,…qe được gọi cơ s chuẩn tắc cho F trên F' nếu tồn tại q thuộc F sao cho vi mọi 1 ≤ i ≤ e. Rõ ràng trong trường hợp này, ta có  với c Î [1,..,p); Nếu p = 2, khi đó chỉ có một lựa chọn duy nhất cho c là 1; hơn nữa luôn luôn có thể chọn cơ sở chuẩn tắc với c = 1.

CHÚ THÍCH 3 Đnh nghĩa trường hữu hạn dưới dạng tưng minh được trích dẫn từ [23].

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Các phép biến đổi nguyên thủy OS2FEPFFE2OSPF giữa xâu bộ tám và các phần tử của trường hữu hạn được cho dưới dạng tường minh F, cũng như phép biến đổi nguyên thủy FE2IPF chuyển đổi các phần tử của F thành số nguyên, được định nghĩa như sau.

Hàm FE2IPF ánh xạ phần tử a Î F vào giá trị nguyên a', như sau. Nếu lực lượng của Fq = pe, ở đây p là số nguyên tố và e ≥ 1, khi đó phần tử a của trường F là bộ e phần tử (a1,…ae), ai Î [0,…,p), 1 ≤ i ≤ e và giá trị a' được xác định theo công thức:

Hàm FE2OSPF(a) nhận đầu vào là phần tử a của trường, đầu ra là xâu bộ tám I2OSP(a',l), a' = FE2OSPF(a) l là độ dài tính bằng bộ tám của |F| - 1, nghĩa là . Như vậy đầu ra của FE2OSPF(a) luôn là xâu bộ tám có độ dài chính xác bằng .

Hàm OS2FEPF(x) nhận đầu vào là xâu bộ tám x, đầu ra (duy nhất) là phần t trường a Î F sao cho FE2OSPF(a) = x, nếu tồn tại a như thế, và ngược lại thì thất bại. Lưu ý rằng OS2FEPF(x) thất bại khi và chỉ khi hoặc x không có độ dài đúng bng , hoặc OS2IP(x) ≥ |F|.

5.4. Đường cong elliptic

Đường cong elliptic trên trường hữu hạn dạng tường minh là tập hợp các đim P = (x, y), ở đây x và y là các phần tử của trường F, thỏa mãn phương trình xác định, với "điểm tại vô cùng" được ký hiệu là . Trong phần này của tiêu chuẩn ISO/IEC-18033, đường cong elliptic E được xác định bởi hai phần tử của trường a,b Î F, các phần tử này được gọi là các hệ số của E.

Giả sử P là đặc trưng của trường F.

Nếu p > 3 thì a và b thỏa mãn điều kiện 4a3 + 27b2 ¹ 0F, và mỗi điểm P = (x,y) trên E (khác phần tử )  thỏa mãn phương trình

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Nếu p = 2, thì a b tha mãn điều kiện b ¹ 0F, và mỗi điểm P = (x,y) trên E (khác phần tử ) thỏa mãn phương trình

y2 + xy = x3 + ax2 + b.

Nếu p = 3, thì ab thỏa mãn điều kiện a ¹ 0Fb ¹ 0F, và mỗi điểm P = (x,y) trên E (khác phần tử ) thỏa mãn phương trình

y3 = x3 + ax2 + b.

Các điểm nằm trên đường cong elliptic tạo thành nhóm abel, với phần tử không  của E là phần tử trung hòa. Tồn tại những thuật toán hiệu quả để thực thi các phép toán nhóm của đường cong elliptic, tuy nhiên việc thực thi các thuật toán này nằm ngoài phạm vi của phần này của ISO/IEC 18033.

CHÚ THÍCH Xem ISO/IEC 15946-1, cũng như [9], đ biết thêm thông tin v cách thực thi hiệu quả phép toán nhóm trên đường cong elliptic.

5.4.1. Các điểm nén của đường cong elliptic

Gi sử E là đường cong elliptic trên trường hữu hạn dạng tưng minh F, ở đây F có đặc trưng bằng p.

Điểm P ¹  có thể được biểu diễn dưới dạng nén, không nén và hoặc lai ghép.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Giả sử P = (x,y) là điểm trên đường cong elliptic E. Dạng nén của P là cặp (x,ỹ), ở đây Î {0,1} được xác định như sau:

- Nếu p ¹ 2 y = 0F, thì ỹ = 0.

- Nếu p ¹ 2 y ¹ 0F, thì ỹ = ((y' / pf) mod p) mod 2, ở đây y' = FE2IPF(y)f là số nguyên không âm lớn nhất sao cho pf|y'.

- Nếu p = 2 x = 0F thì ỹ = 0.

-  Nếu p = 2x ¹ 0F thì =  mod 2, ở đây z = y/x z' = FE2IPF(y) và f là số nguyên không âm nh nhất thỏa mã điều kiện 2f chia hết FE2IPF(1F).

Dạng lai ghép của P = (x,y) là bộ ba (x,ỹ,y) với ỹ được xác đnh như ở Điều trước.

5.4.2. Các thuật toán giải nén điểm

Tồn tại các thuật toán hiệu quả giải nén đim, tc là tính từ (x, ỹ). Dưới đây sẽ mô t vắn tắt các thuật toán đó.

- Giả sử p ¹ 2 (x,ỹ) là dạng nén của (x,y). Điểm (x,y) tha mãn phương trình y2 = f(x) với f(x) là đa thức trên F. Nếu f(x) = 0F, thì chỉ có một khả năng chọn y, chính là y = 0F. Ngược lại, nếu f(x) ¹ 0 thì có hai khả năng chọn y, các khả năng này chỉ khác nhau về dấu, việc chọn đúng được xác định bởi . Có hai thuật toán tính căn bậc hai trên trường hữu hạn được biết đến nhiều, và do đó hai lựa chọn y dễ dàng tính được.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

5.4.3. Chuyển đổi giữa xâu bộ tám và đường cong elliptic

Các nguyên thủy EC2OSPEOS2ECPE chuyển đổi giữa các điểm trên đường cong elliptic và xâu bộ tám được xác định như sau.

Giả sử E là đường cong elliptic trên trường hữu hạn được cho ở dạng hiện F.

Hàm EC2OSPE(P, fmt) nhận đầu vào là điểm P trên E và bộ định dạng fmt là một trong các giá trị ký hiệu được nén, không được nén, hoặc lai ghép. Đầu ra là xâu bộ tám EP, được tính như sau:

- Nếu P =  thì EP = .

- Nếu P = (x,y) ¹  với dạng nén (x,ỹ), khi đó

EP = ,

ở đây,

- H là bộ tám đơn có dạng Oct(4U + C.(2 + ỹ)), trong đó,

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- C = 1 nếu fmt hoặc dạng nén hoặc dạng lai ghép, ngược lại C = 0;

- X là xâu bộ tám FE2OSPF(x):

- Y là xâu bộ tám FE2OSPF(y), nếu fmt hoặc dạng không nén hoặc dạng lai ghép; ngược lại y là xâu bộ tám rỗng.

CHÚ THÍCH Nếu (biến) đnh dạng fmt không dạng nén, thi không cần tính giá trị ỹ .

Hàm OS2ECPE(EP) nhận đầu vào là xâu bộ tám EP. Nếu tồn tại điểm P trên đường cong elliptic E và (biến) định dạng fmt tha mãn EC2OSPE(P, fmt) = EP, khi đó đầu ra của hàm là P (ở dạng không nén), ngược lại-hàm thất bại. Lưu ý rằng điểm P, nếu tồn tại, được xác đnh duy nhất và do đó hàm OS2ECPE(EP) đã được xác đnh rõ.

6. Các biến đổi mật mã

Điều này mô tả một số phép biến đổi mật mã sẽ được tham chiếu ở các Điều tiếp theo. Các dạng biến đổi đó là: hàm băm mật mã, hàm dẫn xuất khóa, mã xác thc thông báo, mã khối,mã đối xứng. Với mỗi dạng biến đổi sẽ đưa ra các đặc trưng đầu ra/đầu vào ngắn gọn, tiếp đó sẽ đặc t các thực thi cụ thể các phép biến đổi này, chúng được phép sử dụng trong phần này của ISO/IEC18003.

6.1. Các hàm băm mật mã

Hàm băm mật mã là hàm ánh xạ các xâu bộ tám có độ dài thay đổi vào xâu bộ tám có độ dài cố định. Chính xác hơn, hàm băm (hash function) mật mã xác định

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- số nguyên dương Hash.MaxInputLen ký hiệu độ dài lớn nht của đầu vào hàm băm,

- và hàm Hash.eval ký hiệu bn thân hàm băm, ánh xạ xâu bộ tám có độ dài lớn nhất Hash.MaxInputLen vào xâu bộ tám độ dài Hash.Len.

Việc gọi hàm Hash.eval thất bại khi và ch khi độ dài đầu ra vượt quá giá trị Hash.MaxInputLen.

6.1.1. Các hàm băm mật mã cho phép

Với mục đích của phần này của ISO/IEC 18033, các hàm băm mật mã là những hàm được mô t trong ISO/IEC 10118-2 và ISO/IEC 10118-3 với những quy định sau đây:

- Hàm băm trong ISO/IEC 10118 ánh xạ xâu bit vào xâu bit, trong khi đó trong ISO/IEC 18033 hàm băm ánh xạ xâu bộ tám vào xâu bộ tám. Do đó hàm băm trong ISO/IEC 10118-2 và ISO/IEC 10118-3 được phép áp dụng vào phần này của tiêu chuẩn ISO/IEC 18033, chỉ khi độ dài tính bằng bit của đầu ra là bội số của 8, trong trường hợp này ánh xạ giữa các xâu bộ tám và xâu bit b tác động bi các hàm OS2BSPBS2OSP.

- Ngược lại, nếu như hàm băm trong ISO/IEC 10118 không xác định đối với đầu vào vượt quá độ dài cho trước, thì hàm băm trong phần này của ISO/IEC 18033 được xác định là thất bi đối với những đầu vào như vậy.

6.2. Hàm dn xut khóa

Hàm dẫn xuất khóa là hàm KDF(x,l), nhận đầu vào là xâu bộ tám x và số nguyên l ≥ 0, và đầu ra là xâu bộ tám độ dài l. Xâu x có độ dài bất kỳ, mặc dù trong khi thực thi có thể xác định độ dài cực đại (rt lớn) cho x là kích thước cực đại cho l thất bại nếu các giới hạn này bị vượt qua.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

6.2.1. Hàm dẫn xuất khóa được phép

Các hàm dẫn xuất khóa được phép trong phần này của ISO/IEC 18033 là KDF1 được mô tả phía dưới, ở Điều 6.2.2 và KDF2 được mô tả ở Điều 6.2.3.

6.2.2. KDF1

6.2.2.1. Các tham s hệ thng

KDF1 là họ các hàm dẫn xuất khóa được tham số hóa bởi các tham số hệ thống sau đây:

- Hash: hàm băm mật mã được mô t ở Điều 6.1.

6.2.2.2. Đặc tả

Với xâu bộ tám x và số nguyên không âm l, KDF1(x, l) được xác định cho l bộ tám đầu tiên của xâu Hash.eval (x||I2OSP(0,4)||...|| Hash.eval(x||I2OSP(k -1,4),

đây

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

6.2.3. KDF2

6.2.3.1. Các tham số hệ thống

KDF2 là hộ các hàm dẫn xuất khóa, được tham số bởi các tham số hệ thống sau:

- Hash: hàm băm mật mã được mô tả tại Điều 6.1.

6.2.3.2. Đặc tả

Với xâu bộ tám x và số nguyên không âm l, KDF2 (x,l) được xác định như là bộ tám đầu tiên của xâu

Hash.eval (x||I2OSP(1,4)||...||Hash.eval(x||I2OSP(k,4)).

ở đây

CHÚ THÍCH 1 Hàm này sẽ thất bại khi và ch khi k > 232 hoặc |x|+4>Hash.MaxlnputLen.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

6.3. Các thuật toán MAC

Thuật toán xác thực thông báo MA là lược đồ xác đnh hai số nguyên dương MA.KeyLen, MA. MACLen, cùng hàm MA.eval(k',T), hàm này nhận khóa mật k’ là xâu bộ tám độ dài bằng MA.KeyLen, và xâu bộ tám tùy ý T làm đầu vào và tính đầu ra là xâu bộ tám MAC độ dài MA.MACLen.

Việc thực thi có thể hạn chế giá trị cực đại cho độ dài của T MA.eval(k',T) sẽ thất bại nếu giới hạn này bị vượt qua.

CHÚ THÍCH Tham khảo Phụ lục B.1 xem thảo luận về các tính chất bảo mật mong muốn của các thuật toán MAC.

6.3.1. Các thuật toán MAC được phép

Với mục đích của phần này của ISO/IEC 18033, các thuật toán MAC được phép được mô tả trong ISO/IEC 9797-1 và ISO/IEC 9797-2, với các quy định sau:

- Đối với các thuật toán MAC được mô tả trong ISO/IEC 9797-1 và ISO/IEC 9797-2, đầu ra là các xâu bit, khóa bí mật và đầu ra là những xâu có độ dài cố định. Bi vậy, một thuật toán trong ISO/IEC 9797-1 hoặc ISO/IEC 9797-2 được phép áp dụng trong phần này của ISO/IEC 18033 chỉ khi độ dài tính bằng bit của MAC và khóa mật là bội số của 8, trong trường hợp này ánh xạ giữa các xâu bộ tám và các xâu bit bị ảnh hưởng bởi OS2BSPBS2OSP.

- Nếu các thuật toán trong ISO/IEC 9797-1 và ISO/IEC 9797-2 không xác định đối với đầu vào vượt quá độ dài cho trước, thì thuật toán MAC trong phần này của ISO/IEC 18033, được xác định là thất bại đối với những đầu vào như vậy.

6.4. Mã khối

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- số nguyên dương BC.KeyLen, là độ dài của khóa mật tính bằng octet,

- số nguyên dương BC. BlockLen, là độ dài tính bằng octet của khối bản mã hoặc bản rõ,

- hàm BC.Encrypt(k,b), nhận đầu vào là khóa bí mật k, với k là xâu bộ tám, độ dài BC.KeyLen và khối bn rõ b là xâu bộ tám độ dài BC.BlockLen, và đầu ra là khối mã b' với b' là xâu bộ tám độ dài BC.BlockLen, và

- hàm BC.Decrypt(k,b'), nhận đầu vào là khóa bí mật là xâu bộ tám, độ dài BC.KeyLen, và khối bản mã b' là xâu bộ tám độ dài BC.BlockLen, và đầu ra là khối bản rõ là xâu bộ tám, độ dài BC.BlockLen.

Với khóa bí mật cố đnh bất kỳ k, hàm b →BC.Encrypt(k,b) tác động như một phép hoán vị trên tập các xâu bộ tám độ dài BC.BlockLen, và hàm b'→BC.Decrypt(k,b) tác động như một phép hoán vị nghịch đảo.

CHÚ THÍCH Xem thảo luận trong Phụ lục B.2 về tính chất bo mt mong muốn của mã khối.

6.4.1. Mã khối được phép

Trong phần này của ISO/IEC 18033, mã khối được phép là những mã khối được mô tả trong ISO/IEC 18033-3, với các quy định sau:

- Trong ISO/IEC 18033-3, các khối bản rõ/bản mã và khóa bí mật là những xâu bit có độ dài cố định, còn trong phần này của ISO/IEC 18033, chúng là những xâu bộ tám có độ dài cố định. Bi vậy, mã khối trong ISO/IEC 18033-3 được phép áp dụng trong phần này của ISO/IEC 18033 chỉ khi độ dài tính bằng bit của các khi bản rõ/bản mã và của khóa bí mật là bội số của 8, trong trường hợp này ánh xạ giữa các xâu bộ tám và xâu b tác động bởi các hàm OS2OSPBS2OSP.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Mã đối xứng SC xác định độ dài khóa SC. KeyLen, cùng với các thuật toán mã hóa, giải mã:

- Thuật toán mã hóa SC.Encrypt(k,M) nhận đầu vào là khóa bí mật k, khóa này là xâu bộ tám độ dài SC.KeyLen và bn rõ M là xâu bộ tám độ dài bất kỳ, đầu ra là bản mã c là xâu bộ tám.

Thuật toán mật mã có thể thất bại, nếu độ dài của M vượt quá một giá trị lớn nào đó, được xác định bi quá trình thực thi.

- Thuật toán giải mã SC.Decrypt(k,c) nhận đầu vào là khóa bí mật k, khóa này là xâu bộ tám độ dài SC.KeyLen, và bn mã c là xâu bộ tám độ dài bất kỳ, đầu ra là bản rõ M là xâu bộ tám.

Thuật toán giải mã có thể thất bại trong một số tình huống nào đó.

Các thuật toán mã hóa và giải mã là tất đnh. Đồng thời, đối với tất cả khóa bí mật k và tt c bản rõ M, nếu M không vượt quá giới hạn độ dài của thuật toán mã hóa và nếu c = SC.Encryt(k,M), thì SC.Decrypt (k, c) không thất bại và SC.Decrypt (k,c) = M.

CHÚ THÍCH Xem thảo luận trong phụ lc B.3 về các tính chất bảo mật mong muốn của mã đối xứng.

6.5.1. Mật mã đối xứng được phép

Mật mã đối xng được phép sử dụng trong phần này của ISO/IEC 18033 là:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- SC2, được mô tả tại Điều 6.5.3.

6.5.2. SC1

Mã khối đối xứng này đạt được bằng cách sử dụng mã khối ở chế độ CBC (cipher block chaining - xem ISO/IEC 10116), cùng với lược đồ đệm (padding) cụ thể, đ bổ sung bản rõ sao cho độ dài của chúng là bội số của kích thước khối của mã khối cơ s.

6.5.2.1. Các tham số hệ thống

SC1 là họ mã khối đối xứng được tham số hóa bằng các tham số hệ thống sau đây:

- BC: mã khối, được mô tả trong Điều 6.4.

Nói một cách chặt chẽ, cần hạn chế sao cho BC.BlockLen < 256. Và hạn chế này luôn được đáp ứng trên thực tế.

6.5.2.2. Đặc tả

SC1.KeyLen = BC.KeyLen.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

a) Đặt PadLen = BC.BlockLen - (|M| mod BC.BlockLen).

b) Giả sử P1 = Oct(padLen).

c) Giả sử P2 là xâu bộ tám được hình thành bằng cách lặp lại octet P1 với tổng số lần lặp bằng PadLen (bởi vậy |P2| = padLen).

d) Gi sử M = M||P2.

e) Tạo cú pháp cho M’: M' = , ở đây với 1 ≤ i ≤ l, là xâu bộ tám độ dài BC.BlockLen.

f) Giả sử c0 là xâu bộ tám, bao gồm các bản sao BC.BlockLen của octet 0ct(0) và với 1 ≤ i ≤ l, đặt ci = BC. Encrypt(k, Å ci-1).

g) Giả sử c = c1  cl.

h) Đưa ra c.

Hàm SC1. Decrypt(k,c) làm việc như sau:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

b) Tạo cú pháp cho c, c = c1  cl với 1 ≤ i ≤ l là xâu bộ tám độ dài BC.BlockLen, đồng thời giả sử c0 là xâu bộ tám bao gồm các bản sao BC. BlockLen của Oct(0).

c) Với 1 i < l, đặt  = BC.Decrypt(k,ci) Å ci-1.

d) Giả sử P1 octet cuối cùng của , và giả sử padLen = BS2IP(P1).

e) Nếu padLen Ï [1..BC.BlockLen] thì sẽ thất bại.

f) Kiểm tra nếu bộ tám cuối cùng padLen của  bằng hay không; nếu không bằng thì thất bại.

g) Gi sử M’’l là xâu bộ tám bao gồm từ những octet đầu tiên BC.BlockLen - padlen của .

h) Đặt M -

i) Đưa ra M.

6.5.3. SC2

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

SC2 là họ các mã đối xứng, được tham số hóa bởi các tham số hệ thống sau đây:

- KDF Hàm dẫn xuất khóa được mô t tại Điều 6.2;

- KeyLen: số nguyên dương.

6.5.3.2. Đặc tả

Giá trị của SC2. KeyLen bằng giá trị của tham số hệ thống KeyLen.

Hàm SC2.Encrypt(k,M) làm việc n sau;

a) Đặt mask = KDF(k,|M|).

b) Đặt c = mask Å M.

c) Đưa ra c

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

d) Đặt mask = KDF(k, |c|).

e) Đặt M = mask Å c.

f) Đưa ra M.

7. Mật mã phi đối xứng

Mật mã phi đối xứng AC bao gồm từ ba thuật toán:

- Thuật toán tạo khóa AC.KeyGen(), với đầu ra là cặp khóa công khai/khóa bí mật (PK, pk). Cấu trúc của PKpk phụ thuộc vào mật mã cụ thể.

- Thuật toán mã hóa AC.Encrypt (PK,L,M,opt), nhận đầu vào là khóa công khai, nhãn L, bản rõ Mtùy chọn opt, đầu ra là bn mã C. Lưu ý rằng L, MC là các xâu bộ tám. Xem thêm Điều 7.2 phía dưới về nhãn. Xem Điều 7.4 để biết thêm về tùy chọn mật mã.

Thuật toán mã hóa có thể thất bại, nếu độ dài L hoặc M vượt quá giới hạn trong thực thi.

- Thuật toán giải mã AC.Decrypt(pk,L,C), nhận đầu vào là khóa riêng pk, nhãn L, bản mã C và đầu ra là bản rõ M.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Nhìn chung, các thuật toán tạo khóa, mã hóa là các thuật toán xác suất, còn thuật toán giải mã là thuật toán tất định.

CHÚ THÍCH 1 Mục đích của tất cả mật mã phí đối xứng trong phần này của ISO/IEC18033 là cung cp độ an toàn thích hợp chống lại kiểu tấn công chọn bản mã thích hợp (được định nghĩa trong [30], và điều này tương đương với khái niệm khả năng không b uốn" (“non-malleability"), được định nghĩa trong [17]). Khái niệm an toàn này nhìn chung được cộng đồng nghiên cứu mật mã đánh giá như một hình thức an toàn phù hợp mà mật mã phi đối xứng cần cung cấp. Đnh nghĩa hình thức của khái niệm an toàn này được trình bày tại phụ lục B.4, và đã được điều chnh phù hợp với bn rõ có độ dài thay đổi và vai trò của nhãn; đồng thời cũng đnh nghĩa một khái niệm yếu hơn một ít về tính an toàn, được gọi là dễ bị uốn nhẹ" (benign malleability). Khái niệm "dễ b uốn thích hợp", nếu không phải với tất c, thì cũng với đại đa số ứng dụng của mật mã phi đối xứng, và một số mật mã phi đối xứng trong phần này của ISO/IEC 18033 ch đạt được mc an toàn này.

CHÚ THÍCH 2 Yêu cu cơ bản của bất k mật mã phi đối xứng là tính đúng đắn: Với bt k cặp khóa công khai/khóa riêng (PK, pk), với cặp bất kỳ nhãn/bản rõ (L,M) sao cho độ dài L, M không vượt quá giới hạn do thực thi quyết định, bất k sự mã hóa bản rõ M với nhãn L và PK được giải mã bằng nhãn Lpk để nhận được bản rõ.

CHÚ THÍCH 3 Một ví dụ mật mã phi đối xứng chng t yêu cầu trên đây về tính đúng đắn không phải luôn luôn thỏa mãn là mật mã dựa trên RSA với n = pq, pq là hai số nguyên tố. Thuật toán tạo khóa có thể s dụng các thuật toán xác suất để kim tra liệu p và q có phải là các số nguyên tố không, và thuật toán này có th đưa ra kết qu sai với xác suất không đáng kể. Nếu xy ra điều đó, thì thuật toán giải mã có thể không phải là thuật toán nghịch đảo của thuật toán mã hóa.

7.1. Độ dài bản rõ

Một điều quan trọng cần chú ý là, bản rõ có thể có độ dài thay đổi và bất kỳ, mặc dù khi thực thi có thể áp đặt một giới hạn trên (thường là rất lớn) cho độ dài này.

Tuy vậy, có hai dạng mật mã phi đối xứng suy biến, được định nghĩa như sau:

- Mật mã phi đối xứng AC độ dài bản rõ cố định ch mã hóa những bản rõ có độ dài (tính bằng số bộ tám) bằng một giá trị cố đnh AC.MsgLen.

- Mật mã phi đối xứng AC độ dài bản rõ bị giới hạn chỉ mã hóa những bản rõ có độ dài (tính bằng bộ tám) nhỏ hơn hoặc bằng một giá trị cố định AC.MaxMsgLen(PK). đây độ dài cực đại của bản rõ có thể phụ thuộc vào khóa công khai của bản mã.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

7.2. Sử dụng nhãn

Nhãn là xâu bộ tám mà giá trị của nó được sử dụng bởi các thuật toán mã hóa và gii mã. Nhãn có thể chứa dữ liệu công khai được che giấu khỏi ngữ cảnh và không cần thiết được mã hóa, nhưng nó lại phải liên quan đến bản mã.

Nhãn là xâu bộ tám có nhiều ý nghĩa đối với các ứng dụng sử dụng mật mã phi đối xứng và độc lập với quá trình thực thi mật mã phi đối xứng.

Nhãn có thể tùy ý, có độ dài thay đổi, mặc dù với mật mã cụ thể có th chọn giới hạn trên (rất lớn) cho độ dài của nó.

Dạng suy biến của mật mã phi đối xứng được định nghĩa như sau:

- Mật mã phi đối xứng với độ dài nhãn cố định là mật mã với các thuật toán mã hóa và giải mã chỉ chấp nhận nhãn có độ dài (tính bằng bộ tám) bằng một giá trị cố định AC.LabelLen.

CHÚ THÍCH 1 Khái niệm an toàn truyền thng chng lại tấn công chọn bản mã, được m rộng trong phụ lục B.4, sao cho bằng trực giác, đối với mật mã phi đối xứng, thuật toán mã hóa cần gắn nhãn vào bản mã theo một kiểu phù hợp "không có kh năng uốn”.

CHÚ THÍCH 2 Ví dụ, có những giao thức trao đi khóa, trong đó một phía, chẳng hạn A mã hóa khóa phiên bằng khóa công khai của phía thứ hai, chẳng hạn B. Đ giao thức được an toàn, định danh của phía A (hoặc khóa công khai hoặc chứng thư số) phải không có kh năng bị uốn đối với bn mã. Một cách để thực hiện điều này là, đơn giản ch cần gắn định danh vào bản rõ. Tuy vậy, điều này làm cho bản mã tr nên dài không cn thiết, vì thường thì A đã biết định danh của B theo ngữ cảnh cụ th của giao thức. Việc thực thi tt cơ chế dán nhãn sẽ mang lại cùng hiệu quả, mà không cn tăng kích thước bản mã.

7.3. Định dạng bản mã

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

CHÚ THÍCH Bên cạnh việc tăng cưng tính liên tác, việc quy định định dạng của bản mã là cn thiết để đưa ra các mệnh đề có ý nghĩa và lp lun cứ cho tính an toàn của mật mã phi đối xứng chng lại các tấn công chọn bản mã phù hợp.

7.4. Lựa chọn mật mã

Một s mật mã phi đối xứng cho phép một s dạng tùy chọn cụ thể ở dạng lược đồ đ chuyển sang thuật toán mật mã, điều này cắt nghĩa vì sao biến tùy chọn mật mã b sung opt lại được cho phép trong giao diện trừu tượng cho mật mã phi đối xứng.

Một số mật mã phi đối xứng được trình bày ở đây, một cách tự nhiên có thể xem như không chứa bất kỳ tùy chọn mật mã, trong những trường hợp như thế mật mã được coi là không có tùy chọn.

Hệ thống có th cung cấp giá trị “mặc định” của biến opt. Tuy vậy, vấn đề này nằm ngoài phạm vi của phần này.

CHÚ THÍCH Trong các mật mã phi đối xứng được mô tả trong phần này của ISO/IEC 18033, chỉ có mật mã dựa trên đường cong elliptic là sử dụng chế độ tùy chọn mật mã, chế độ này được sử dụng nhm chỉ dn định dạng mong muốn để mã hóa các điểm trên đường cong elliptic.

7.5. Phương pháp vận hành mật mã phi đối xứng

Thông thường, thuật toán tạo khóa do một bên thực hiện, đó là ch nhân của cặp khóa, hoặc là bên được tin cậy được chủ nhân ủy thác. Khóa công khai được tạo ra cho tất cả các bên, những người muốn gi thông báo được mã hóa đến cho chủ nhân, nhưng khóa riêng thì không được tiết lộ cho bất kỳ bên nào trừ chủ nhân của nó. Về cơ chế và các giao thức tạo khóa công khai cho các bên khác nằm ngoài phạm vi của phần này. Về vấn đề này xem hướng dẫn tại ISO/IEC 11770.

Mỗi một mật mã phi đối xứng được trình bày ở phn này của ISO/IEC 18033 là thành phần của họ các mật mã phi đối xứng, ở đấy mật mã cụ thể được chọn t họ mật mã bằng cách chọn giá trị cụ thể của các tham số hệ thống, các tham số này xác định họ các mật mã.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

CHÚ THÍCH Ví dụ, nếu mã phi đối xứng có thể được tham số hóa theo thuật ngữ của hàm băm mật mã, thì việc chọn hàm hash nên được cố định và nói chung tại một điểm nào đó trước khi tạo cặp khóa công khai/khóa riêng, và các thuật toán mã hóa, giải mã nên sử dụng để chọn hàm băm suốt thời gian sống của khóa công khai. B qua nguyên tắc này không ch làm chệch việc thực thi, mà còn làm mất ý nghĩa của việc phân tích tính an toàn của mật mã, và có thể trong một số trường hợp, đy việc thực thi vào những rủi ro nghiêm trọng.

7.6. Mật mã phi đối xứng được phép

Người dùng muốn khai thác mật mã phi đối xứng trong phần này của ISO/IEC 18033 sẽ chọn một trong số các mật mã sau đây:

- Mật mã kết hợp vạn năng, được chọn từ họ HC các mật mã lai ghép, được mô tả tại Điều 8.3;

- Mã phi đối xứng với độ dài bản mã giới hạn từ họ RSAES các mật mã, được mô tả tại Điều 11.4;

- Mã phi đối xứng với độ dài bản rõ bị giới hạn thuộc họ HIME(R) được mô tả tại Điều 12.3.

CHÚ THÍCH Vì HC, RSAES và HIME là họ mật mã được tham số hóa bởi các tham số hệ thống khác nhau, người dùng sẽ phải chọn các giá trị cụ thể của các tham số hệ thống từ tập các tham số hệ thống được phép, được xác đnh trong các Điều tương ứng, trong đó mỗi họ mật mã được mô tả.

8 . Mật mã lai ghép tổng quát

Khi thiết kế mật mã phi đối xứng hiệu quả, một cách tiếp cận hữu ích là thiết kế mật mã lai ghép, ở đó có thể sử dụng kỹ thuật mật mã phi đối xứng để mã hóa khóa bí mật, khóa bí mật này sau đó được sử dụng để mã thông báo, sử dụng kỹ thuật mật mã đối xứng. Điều này mô tả một dạng mật mã lai đặc biệt, được gọi là mật mã lai ghép tổng quát. Mật mã lai ghép tổng quát được xây dựng từ hai “khối kiến tạo" mức thấp hơn: cơ chế bọc khóacơ chế bọc dữ liệu. Điều 8.3 đặc tả chi tiết họ HC các mật mã lai ghép tổng quát.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Cơ chế bọc khóa KEM bao gồm ba thuật toán:

- Thuật toán tạo khóa KEM.KeyGen(), với đầu ra là cặp khóa công khai/khóa riêng (PK,pk). Cấu trúc của PKpk phụ thuộc vào lược đồ cụ thể.

- Thuật toán mã hóa KEM.Encrypt(PK,opt), nhận đầu vào là khóa công khai PK và tùy chọn mật mã opt, đầu ra là cặp khóa mật/bản mã (K, C0). KC0 là các xâu bộ tám. Vai trò của opt ở đây cũng tương tự như trong mật mã phi đối xứng (xem Điều 7.4).

- Thuật toán giải mã KEM.Decrypt (pk,C0) với đầu vào là khóa riêng pk và bản mã C0, đầu ra là khóa bí mật K, KC0 là các xâu bộ tám.

Thuật toán giải mã có thể thất bại trong một số bối cảnh nhất định.

Cơ chế bọc khóa cũng xác định một số nguyên dương KEM.KeyLen - độ dài khóa bí mật là đầu ra của KEM.EncryptKEM.Decrypt.

CHÚ THÍCH Cơ chế bọc khóa cần tha mãn tính đúng đắn, tương tự tính đúng đắn của mật mã phi đối xứng: với bất k cặp khóa công khai/khóa riêng (PK,pk), bt kỳ đầu ra (K, C0) của thuật toán mã hóa với đầu vào (PK,opt), bn mã C0 có thể được giải mã nhờ pk để thu được K. Yêu cu này có thể được giảm nh, bởi vậy nói chung ch nó ch giữ một phn không đáng k cặp khóa công khai/bí mật.

8.1.1. Tính cht phi tiền tố

Ngoài ra, cơ chế bọc khóa còn phải tha mãn tính chất sau đây. Tập hợp tất cả các đầu ra - các bản mã có thể - của thuật toán mã hóa là tập con của tập ứng cử viên các xâu bộ tám (có thể phụ thuộc vào khóa công khai), sao cho tập ứng cử viên này là phi tiền tố và các phần tử của tập này dễ dàng được nhận dạng (hoặc cho trước khóa công khai hoặc khóa riêng).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Cơ chế bọc khóa được phép trong phần này của tiêu chuẩn ISO/IEC 18033 gồm:

- ECIES - KEM (được mô tả tại Điều 10.2),

- PSEC - KEM (được mô tả tại Điều 10.3),

- ACE - KEM (được mô tả tại Điều 10.4), và

- RSA - KEM (được mô tả tại Điều 11.5).

CHÚ THÍCH 1 Để thuận tiện, các mật mã lai ghép tổng quát tương ứng được xây dựng từ các cơ chế bọc khóa trên thông qua cu trúc lai ghép tng quát tại Điều 8.3 tương ứng được gọiECIES - HC, PSEC - HC, ACE - HC,RSA - HC.

CHÚ THÍCH 2 Nói một cách đại thể, cơ chế bọc khóa làm việc tương tự như mật mã phi đối xứng, ngoại tr một điều thuật toán mã hóa không nhn đầu vào nào khác ngoài khóa công khai của người nhận: thay vì nhận đầu vào là thông báo và tạo ra bản mã, thuật toán mã hóa tạo ra cặp khóa bí mật/bản mã (K, C0), ở đây K là xâu b tám có độ dài xác định và C0 là mã hóa của K, như vậy thuật toán giải mã áp dụng vào C0 và đưa ra K.

CHÚ THÍCH 3 Luôn luôn có th sử dụng mật mã phi đối xứng (với độ dài bản rõ cố định hay độ dài bản rõ b giới hạn) để tạo ra xâu bộ tám ngu nhn K sau đó mã hóa nó bằng khóa công khai của người nhận (và tùy chọn nào đó đ thu được C0). Tuy nhiên, cũng có thể thiết kế cơ chế bọc khóa theo cách khác hiệu qu hơn.

CHÚ THÍCH 4: Để xây dựng mật mã lai ghép tổng quát an toàn chống li tấn công chọn bản mã phù hợp, tồn tại khái niệm an toàn tương ứng cho cơ chế bọc khóa. Điều này được thảo luận chi tiết tại Phụ lục B.5.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Cơ chế bọc dữ liệu DEM xác định độ dài khóa DEM.KeyLen, và các thuật toán mã hóa và giải mã.

- Thuật toán mã hóa DEM.Encrypt(K,L,M) nhận đầu vào là khóa bí mật K, nhãn L và bản rõ M. Thuật toán cho đầu ra là bản mã C1. đây K, L, M C1 là các xâu bộ tám, trong đó L M có thể có độ dài tùy ý, còn K có độ dài DEM.KeyLen.

Thuật toán mã hóa có thể bị thất bại, nếu độ dài L hoặc M vượt qua giới hạn (rất lớn) được xác định bởi quá trình thực thi.

- Thuật toán giải mã DEM.Decrypt(K,L,C1) nhận đầu vào là khóa bí mật K, nhãn L và bản mã C1 cho đầu ra là bản rõ M.

Thuật toán giải mã có thể thất bại trong một số bối cảnh nhất định.

CHÚ THÍCH Các thuật toán mã hóa và giải mã nên là thuật toán tất định, thỏa mãn yêu cầu sau đây v tính đúng đắn: với mọi khóa bí mật, tất cả L vá tt cả bản rõ, đều có độ dài LM không vượt quá giới hạn được xác định bởi thực thi,

DEM.Decrypt(K,L,DEM.Encrypt(K,L,M)) = M.

8.2.1. Các dạng chế bọc dữ liệu suy biến

Có hai dạng cơ chế bọc dữ liệu suy biến được xác định như sau:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- Cơ chế bọc dữ liệu với độ dài bản rõ cố định là cơ chế mã thuật toán mã hóa chỉ chấp nhận các bản rõ có độ dài bằng giá trị cố định DEM.MsgLen.

8.2.2. Cơ chế bọc dữ liệu được phép

Cơ chế bọc dữ liệu trong phần này của tiêu chuẩn ISO/IEC 18033 được mô tả tại Điều 9.

CHÚ THÍCH 1 Nói đại thể, cơ chế bọc dữ liệu cung cp phong bì số", bảo vệ c tính bí mật lẫn tính toàn vẹn của dữ liệu sử dụng kỹ thuật mật mã đối xứng. Nó đồng thời gắn dữ liệu vào nhãn công khai.

CHÚ THÍCH 2 Để xây dựng mã lai ghép tổng quát, chng được tấn công chọn bản mã, tồn tại khái niệm tương ứng về an toàn cho cơ chế bọc dữ liệu. Điều này được xem xét chi tiết tại Phụ lục B.6.

8.3. HC

8.3.1. Các tham số hệ thống

HC là họ mật mã phi đối xứng được tham số hóa như sau:

- KEM: cơ chế bọc khóa được mô tả tại Điều 8.1;

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Mọi sự kết hợp giữa KEMDEM đều có thể sử dụng, nếu đảm bảo điều kiện KEM.KeyLen = DEM.KeyLen.

CHÚ THÍCH 1 Nếu DEM là cơ chế bọc dữ liệu với độ dài nhãn cố định, trong đó độ dài nhãn bị hạn chế bi DEM.LabelLen, thì HC là mã đối xứng với độ dài nhãn cố định và HC.LabelLen = DEM.KeyLen.

CHÚ THÍCH 2 Nếu DEM là cơ chế bọc dữ liệu với độ dài bản rõ cố định, trong đó bản rõ có độ dài hạn chế bởi DEM.MsgLen, thì HC là mã đối xứng với độ dài bản rõ cố định và HC.MsgLen = DEM.MsgLen.

CHÚ THÍCH 3 Với tất cả sự lựa chọn được phép của KEM, giá trị của KEM.KeyLen là tham số hệ thống có thể được chọn bằng DEM.KeyLen. Như vậy mọi sự kết hợp có thể của KEMDEM có thể được thực hiện bằng cách chọn thích hợp các tham số hệ thống.

8.3.2. Tạo khóa

Thuật toán tạo khóa, khóa công khai và khóa riêng cho HC cũng như cho KEM; Tùy chọn mật mã của HC cũng như của KEM.

Giả sử (PK, pk) là cặp khóa công khai/khóa riêng.

8.3.3. Mã hóa

Thuật toán mã hóa HC.Encrypt nhận đầu vào là khóa công khai PK, nhãn L, bản rõ M và tùy chọn mật mã opt. Thuật toán này chạy như sau:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

b) Tính C1 = DEM.Encrypt(K,L,M).

c) Tạo C = C0 || C1.

d) Đưa ra C.

8.3.4. Giải

Thuật toán giải mã HC.Decrypt nhận đầu vào là khóa riêng pk, nhãn L và bản mã C. Thuật toán chạy như sau:

a) Sử dụng tính chất phi tiền tố của bản mã liên kết với KEM (xem Điều 8.1.1), tạo cú pháp C, C = C0||C1, ở đây C0C1 là các xâu bộ tám sao cho C0 là phần tử của tập hợp ứng cử viên của các bản mã có thể liên kết với KEM. Bước này sẽ thất bại nếu C không được tạo cú pháp.

b) Tính K = KEM.Decrypt(pk, C0).

c) Tính M = DEM.Decrypt (K, L, C1).

d) Đưa ra M.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

9. Thiết kết các cơ chế bọc dữ liệu

Điều khoản này đưa ra các cơ chế bọc dữ liệu, gồm:

- DEM1, được mô tả trong Điều 9.1,

- DEM2, được mô tả trong Điều 9.2, và

- DEM3, được mô tả trong Điều 9.3.

9.1. DEM1

9.1.1. Các tham số hệ thng

DEM1 là họ các cơ chế bọc dữ liệu, được tham số hóa bằng các tham số hệ thống sau:

- SC: mật mã đối xứng, được mô tả tại Điều 6.5;

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Giá trị của DEM1.KeyLen được xác định như sau: DEM1.KeyLen = SC.KeyLen + MA. KeyLen.

9.1.2. Mã hóa

Thuật toán DEM1.Encrypt nhận đầu vào là khóa bí mật K, nhãn L, và bản rõ M. Thuật toán chạy như sau:

a) Tạo cú pháp K, K = , ở đây kk' là các xâu bộ tám sao cho |k| = SC.KeyLen và |k'| = MA.KeyLen.

b) Tính c = SC.Encrypt(k,M).

c) Giả sử T =

d) Tính MAC = MA.eval(k',T).

e) Thiết lập C1 = c || MAC.

f) Đưa ra C1.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Thuật toán DEM1.Decrypt nhận đầu vào là khóa bí mật K, nhãn L, và bản mã C1. Thuật toán chạy như sau:

a) Tạo cú pháp K,K =  ở đấy kk' là các xâu bộ tám với |k| = SC.KeyLen|k'| = MA.KeyLen.

b) Nếu |C1| < MA.MACLen thì thất bại.

c) Tạo cú pháp C1 : C1 = , ở đây cMAC là các xâu bộ tám với |MAC| = MA.MACLen.

d) Gi sử T =

e) Tính MAC' = MA.eval(k',T).

f) Nếu MAC ¹ MAC' thì thất bại.

g) Tính M = SC.Decrypt(k,c).

h) Đưa ra M.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

9.2. DEM2

9.2.1. Các tham số hệ thống

DEM2 là họ các cơ chế bọc dữ liệu với độ dài nhãn cố định, được tham số hóa bằng các tham số hệ thống sau đây:

- SC: mã đối xứng được mô tả tại Điều 6.5;

- MA: thuật toán MAC, được mô tả tại Điều 6.3;

- LabelLen: số nguyên không âm.

Giá trị DEM2.LabelLen được xác định là bằng giá trị của tham số hệ thống LabelLen.

Giá trị DEM2.KeyLen được xác định bằng: DEM2.KeyLen = SC.KeyLen + MA.KeyLen.

9.2.2. Mã hóa

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

a) Tạo cú pháp K, K =  ở đấy kk' là các xâu bộ tám sao cho |k| = SC.KeyLen|k'| = MA.KeyLen.

b) Tính c = SC.Encrypt(k,M).

c) Đặt T = .

d) Tính MAC = MA.eval (k',T).

e) Thiết lập C1= c || MAC.

f) Đưa ra C1.

9.2.3. Giải mã

Thuật toán DEM2.Decrypt nhận đầu vào là khóa bí mật K, nhãn L độ dài LabelLen và bản mã C1. Thuật toán chạy như sau:

a) Tạo cú pháp K, K =  ở đấy kk’ là các xâu bộ tám sao cho |k| = SC.KeyLen và |k'| = MA. KeyLen.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

c) Tạo cú pháp C1,C1 = , ở đây cMAC là các xâu bộ tám sao cho |MAC| = MA.MACLen.

d) Giả sử T = c || L.

e) Tính MAC' = MA.eval (k',T).

f) Nếu MAC' ¹ MAC thì tht bại.

g) Tính M = SC.Decrypt(k,c).

h) Đưa ra M.

CHÚ THÍCH 1 Việc xem xét chi tiết tính an toàn của thiết kế trên được trình bày trong Phụ lục B.6.1. đây ch lưu ý là các SCMA thỏa mãn các yêu cầu an toàn tương ứng, khi đó DEM2 cũng thỏa mãn các yêu cầu này.

CHÚ THÍCH 2 DEM2 được cung cp chủ yếu để so sánh vi các tiêu chuẩn khác.

9.3. DEM3

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

DEM3 là họ các cơ chế bọc dữ liệu với độ dài bản rõ c định, được tham số hóa bởi các tham số hệ thống sau đây:

- MA: thuật toán MAC được mô tả ở Điều 6.3;

- MsgLen: số nguyên dương.

Giá trị của DEM3.MsgLen được định nghĩa bằng giá trị của tham số hệ thống MsgLen.

Giá trị của DEM3.KeyLen được xác định bằng,

DEM3.KeyLen = MsgLen + MA.KeyLen.

9.3.2. Mã hóa

Thuật toán DEM3.Encrypt nhận đầu vào là khóa bí mật K, nhãn L, bản rõ M với độ dài MsgLen. Thuật toán chạy như sau:

a) Tạo cú pháp K, K = ở đấy kk’ là các xâu bộ tám (octet) với |k| = MsgLen|k'| = MA.KeyLen.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

c) Gi sử T = .

d) Tính MAC = MA.eval (k',T).

e) Đặt C1 = c || MAC.

f) Đưa ra C1.

9.3.3. Giải mã

Thuật toán DEM3.Decrypt nhận đầu vào là khóa bí mật K, nhãn L và bản mã C1. Thuật toán chạy như sau:

a) Tạo cú pháp cho K, K = ở đấy k k’ là các xâu bộ tám với |k| = MsgLen|k'| = MA.KeyLen.

b) Nếu C1 ¹ MsgLen + MA.MACLen thì thất bại.

c) Tạo cú pháp C1:C1 = , ở đây c MAC là các xâu bộ tám với |c| = Msglen |MAC| = MA.MACLen.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

e) Tính MAC = MA.eval (k',T).

f) Nếu MAC ¹ MAC' thì thất bại.

g) Tính M = k Å c.

h) Đưa ra M

CHÚ THÍCH 1 Việc xem xét chi tiết tính an toàn của thiết kế này được trình y ở Phụ lục B.6.1. Cần lưu ý đây là nếu SC MA thỏa mãn các yêu cầu an toàn tương ứng thì DEM3 cũng thỏa mãn các yêu cầu đó.

CHÚ THÍCH 2 DEM3 được cung cấp ch yếu để so sánh với các tiêu chuẩn khác.

10. Cơ chế bọc khóa dựa vào EIGamal

Điều này mô t một số cơ chế bọc khóa dựa trên bài toán logarit rời rạc:

- ECIES-KEM được mô tả trong Điều 10.2;

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- ACE-KEM được mô tả trong Điều 10.4.

CHÚ THÍCH Tất cả các lược đồ trên đều là những biến thể của lược đ mật mã góc EIGamal [18].

10.1. Các nhóm cụ thể

Mật mã EIGamal dựa trên các phép toán số học trên nhóm hữu hạn. Để mô tả cơ chế bọc khóa dựa trên mật mã EIGamal, khái niệm nhóm được mô tả như một kiểu dữ liệu trừu tượng. Việc mô tả và phân tích các lược đồ dựa vào giao diện trừu tượng này, tuy nhiên trong phần này của tiêu chuẩn ISO/IEC 18033, chỉ cho phép sử dụng một số dạng nhóm nht định bằng cách cụ thể hóa kiểu dữ liệu trừu tượng này.

Để tiện, khái niệm phép cộng luôn được sử dụng cho nhóm. Đồng thời các phần tử của nhóm sẽ được viết bằng chữ cái thưng, đậm nét và 0 ký hiệu phần tử đồng nhất của nhóm.

Nhóm cụ thể G là bộ

-  là nhóm Abel hữu hạn. Chú ý rằng nhóm không nhất thiết là tuần hoàn.

-  là nhóm con tuần hoàn của

-  là phần tử sinh của

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

đây đòi hỏi μ phải là số nguyên tố. Trong một số lược đồ mật mã, đòi hi thêm điều kiện gcd(μ,v) = 1.

- ε(a,fmt) là hàm “mã hóa" (encoding function), ánh xạ phần tử nhóm  vào xâu bộ tám; biến thứ hai fmt là bộ định dạng, được sử dụng để chọn một trong số lượng nhỏ các định dạng có thể để mã hóa phần tử của nhóm. Các giá trị được phép của biến fmt phụ thuộc vào nhóm.

Các yêu cầu sau phải được thỏa mãn:

- Tập tất cả các đầu ra ε là tập phi tiền tố.

- Phần tử trung hòa được mã hóa (encoding) duy nhất, bởi vậy với tất cả các biến định dạng fmt, fmt’ ta có: ε(0,fmt) = ε(0,fmt’).

- Trừ phần tử trung hòa, hàm mã hóa là ánh xạ một-một, do đó với tất cả a và a’  và tất cả các biến định dạng fmt,fmt', nếu (a,fmt) ¹ (a',fmt') và nếu a ¹ 0 hoặc a’ ¹ 0, thì ε(a,fmt) ¹ ε(a',fmt').

Xâu bộ tám x được gọi là mã hợp lệ (valid encoding) của phần tử nhóm , nếu x = ε(a,fmt) với một biến định dng fmt nào đó.

- D(x) là hàm sao cho nó sẽ tr về nếu x không phải là mã hợp lệ của phần tử thuộc , ngược lại, hàm hoàn lại phần tử nhóm duy nhất , sao cho ε(a,fmt) = x với một biến định dạng fmt nào đó.

- ε'(a) là hàm "mã từng phần”, ánh xạ mỗi phần tử nhóm , vào xâu bộ tám.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Xâu bộ tám x được gọi là mã từng phần hợp lệ (valid partial encoding) của phần tử nhóm a nếu x = ε'(a).

- D'(x) là hàm sao cho hoặc là thất bại nếu x không phải là mã cụ thể của phần tử thuộc ; ngược lại, nó sẽ tr về một tập hợp chứa tất cả các phần tử nhóm , sao cho ε'(a) = x. Giả thiết kích thước của tập hợp này bị giới hạn bởi một hằng số nh.

Giả thiết có thể thực hiện hiệu quả các phép toán số học trong . Đồng thời, tất cả các thuật toán trên đây đều được thực thi hiệu qu. Hàm D' sẽ không được sử dụng bởi bất kỳ lược đồ nào, nhưng sự tồn tại của hàm này là cần cho việc phân tích tính an toàn các lược đồ đó.

Gi sử có thể kiểm tra hiệu quả, liệu một phần tử của  có nằm trong nhóm con  hay không. Lưu ý rằng nếu tất cả các phần tử của , có bậc μ nằm trong , thì có thể kiểm tra  bằng cách kiểm tra điều kiện μ.a = 0. Bởi vậy phép kiểm tra này có thể áp dụng được nếu bản thân  là nhóm tuần hoàn và gcd,v) = 1. Với các nhóm cụ thể, có thể có các phép kiểm tra hiệu quả hơn về việc phần tử cho trước có thuộc nhóm con hay không.

Tập hợp {ε(a1,fmt1),....,ε(am,fmtm)} các mã hợp lệ được gọi là tập bền vững, nếu mã (encodings) của các phần tử nhóm không phải là phần tử trung hòa sử dụng cùng một biến định dạng fmt; bởi vậy với mọi 1 ≤ i, j ≤ m, nếu ai ≠ 0, aj ≠ 0 thì fmti = fmtj. Với những giả thiết như trên có thể kiểm tra một cách hiệu quả một tập hợp các mã hợp lệ cho trước có bền vững hay không.

CHÚ THÍCH Các ứng dụng mật mã khác nhau sẽ đưa ra các giả thiết khác nhau về tính khó giải của nhóm. Những giả thiết này được xem xét tại Phụ lục B.8.

10.1.1. Các nhóm cụ thể được phép

Phần này của ISO/IEC 18033 chỉ cho phép hai họ nhóm cụ thể sau đây, được mô tả tại các Điều 10.1.2 va 10.1.3.

10.1.2. Nhóm con của các trường hữu hạn được cho dưi dạng tường minh

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

 là nhóm tuần hoàn, suy ra  chứa tất cả các phần tử của  có bậc chia hết μ, thậm chí khi gcd (μ, v) ≠ 1. Như vậy, luôn luôn có thể kiểm tra phần tử có thuộc  hay không bằng cách kiểm tra hệ thức μ.a = 0. Tuy nhiên, còn có thể có những phép kiểm tra hiệu quả hơn, ví dụ nếu F là trường hữu hạn nguyên tố và v = 2, thì phép kiểm tra này có thể thực hiện bằng cách tính hiệu Jacobi.

Ánh xạ mã hóa ε(encoding map) được thực thi bằng cách sử dụng hàm FE2OSPF, bởi vậy tt c các phần tử nhóm được mã hóa dưới dạng các xâu bộ tám có độ dài .Ch cho phép một định dạng. Ánh xạ  được thực thi bằng cách sử dụng OS2FEPF và thất bại nếu OS2FEPF  tht bại hoặc đưa ra 0F. Hàm ε' cũng giống như ε và  cũng giống như

10.1.3. Nhóm con của đường cong Elliptic

Giả sử E là đường cong elliptic trên trường hữu hạn dạng tường minh F, được mô tả tại Điều 5.4. Ký hiệu  là nhóm các đim trên E,  là nhóm con bậc nguyên tố của  là phần tử sinh của ; giả sử μ là bậc của , v là ch số của nó trong .

Ta thấy, nói chung  không phải là nhóm tuần hoàn. Nếu gcd (μ,v) = 1 thì có thể kiểm tra phần tử nằm trong  hay không, bằng cách kiểm tra hệ thức μ.a = 0. Nếu gcd(μ, v) ≠ 1 khi đó yêu cầu phải có nhiều thông tin hơn về cấu trúc nhóm của E để xây dựng nên phép kiểm tra hiệu quả về việc phần tử thuộc  có nằm trong  hay không.

Các ánh xạ mã hóa/ giải mã ε …… được thực thi bằng cách sử dụng các hàm EC2OSPEOS2ECPE. Như vậy mã hóa của điểm là xâu bộ tám có độ dài hoặc bằng 1 hoặc bằng , hoặc . Tập tất cả các biến định dạng được phép có thể được chọn là tập con không rỗng bất kỳ của tập {không nén, nén, lai ghép}. Như vậy nhóm cụ thể được xác định nhờ sử dụng đường cong elliptic, có thể, nhưng không nhất thiết, cho phép sử dụng các định dạng đa mã hóa.

Ánh xạ mã hóa cụ thể ε' được xác định như sau: Cho điểm P trên E, nếu P =  thì đu ra là FE2OSPF(0F) và nếu P = (x,y) ≠ ,ở đấy x,y Î F, thì đầu ra là FE2OSPF(x). Như vậy đầu ra của ε' là xâu bộ tám độ dài

10.2. ECIES-KEM

Điều này mô tả cơ chế bọc khóa ECIES - KEM.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

10.2.1. Các tham số hệ thống

ECIES - KEM là họ các cơ chế bọc khóa, được tham số hóa bởi các tham số hệ thống sau đây:

- G: nhóm cụ thể

như mô tả trong Điều 10.1;

- KDF: Hàm dẫn xuất khóa, như đã mô tả tại Điều 6.2;

- CofactorMode: một trong hai giá trị 0 hoặc 1.

- OldCofactorMode: một trong hai giá trị 0 hoặc 1.

- CheckMode:một trong hai giá trị 0 hoặc 1.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- KeyLen: số nguyên.

Bt kỳ một tổ hợp nào các tham số hệ thống đều cho phép, trừ các hạn chế sau:

- Nhiều nhất một trong các tham số CofactorMode, OldCofactorMode CheckMode có thể là 1.

- Nếu v > 1 và CheckMode = 0, khi đó phải có gcd(μ, v) = 1.

Giá trị ECIES - KEM.KeyLen được định nghĩa bng giá trị của tham số hệ thống Keylen.

CHÚ THÍCH Các giá trị của CofactorModeCheckMode ch được sử dụng bởi thuật toán giải mã.

10.2.2. Tạo khóa

Thuật toán tạo khóa ECIES - KEM.KeyGen không nhận đầu vào, và chạy như sau:

a) Tạo số ngẫu nhiên x Î [1 ...μ).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

c) Đưa ra khóa công khai đầu ra:

- h: phần tử khác không của

d) Đưa ra khóa riêng đầu ra:

- x: số nguyên thuộc tập hợp [1,...).

10.2.3. Mã hóa

Thuật toán ECIES - KEM.Encrypt nhận đầu vào là khóa công khai, gồm phần tử  cùng với tùy chọn mật mã fmt xác định định dạng dùng để mã hóa các phần tử của nhóm. Thuật toán được thực hiện như sau:

a) Tạo số ngẫu nhiên r Î [1,...).

b) Nếu OldCofactorMode = 1 thì đặt r' = r.vmod μ, ngược lại thì đặt r’ = r.

c) Tính  = r.g và  = r'.h

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

e) Nếu SingleHashMode = 1 thì Z là xâu bộ tám gồm toàn phần tử 0; ngược lại đặt Z = C0.

f) Đặt PEH = ε'().

g) Đặt K = KDF(Z || PEH,KeyLen).

h) Đưa ra bản mã C0 và khóa bí mật K.

10.2.4. Giải mã

Thuật toán gii mã ECIES - KEM.Decrypt nhận đầu vào là khóa bí mật K, gồm phần tử r Î [1 ...μ), và bản mã C0. Thuật toán thực hiện như sau:

a) Đặt ; bước này sẽ thất bại nếu C0 không phải là mã hợp lệ của phần tử thuộc

b) Nếu CheckMode = 1, Kiểm tra  nếu không thỏa mãn thì thất bại.

c) Nếu CofactorMode = 1 hoặc OldCofactorMode = 1, đặt , nếu ngược lại thì đặt

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

e) Tính  = .

f) Nếu  = 0 thì tht bại.

g) Nếu SingleHashMode = 1 thì cho Z là xâu bộ tám rỗng, ngược lại giả sử Z = C0.

h) Đặt PEH = ε().

i) Đặt K = KDF(Z || PEH, KeyLen).

j) Đưa ra là khóa bí mật K

CHÚ THÍCH Sử dụng CofactorMode = 1 hoặc OldCofactorMode = 1 có thể mang lại lợi ích đáng kể trong thực thi, nếu v thật sự nh. Ưu điểm của việc sử dụng CofactorMode = 1 là chỗ hành vi của thuật toán mã hóa không bị ảnh hưng bởi giá trị của CofactorMode.

CHÚ THÍCH 2 Khi sử dụng CofactorMode = 1, việc thực thi có th đơn giản là tính trước và lưu giá trị  thay vì tính x.

CHÚ THÍCH 3 Khi sử dụng SingleHashMode = 1, thậm chí nếu G h trợ định dạng đa mã, giá trị của fmt được sử dụng trong khi mã hóa không ảnh hưởng lên bất k tính toán nào, ngoại trừ định dạng cho bản mã cuối cùng. Như vậy, nếu bản mã cho trước C0 là kết quả mã hóa của phần tử nhóm , thì một bản mã khác C'0 đồng thời cũng là kết qu mã hóa (encoding) của  cũng sẽ được giải mã bằng cách như với C0.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

10.3. PSEC-KEM

Điều này mô tả cơ chế bọc khóa PSEC - KEM.

CHÚ THÍCH PSEC - KEM dựa trên công trình của FujisakiOkamoto [26].

10.3.1. Các tham số hệ thống

PSEC - KEM là họ các cơ chế bọc khóa, được tham số hóa bởi các tham số hệ thống sau đây:

- G: nhóm cụ thể

 được mô tả ở Điều 10.1;

- KDF: Hàm xuất khóa được mô tả ở Điều 6.2;

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- KeyLen: s nguyên dương.

10.3.2. Tạo khóa

Thuật toán tạo PSEC - KEM.KeyGen không có đầu vào, thực hiện như sau:

a) Tạo số ngẫu nhiên x Î [0...μ).

b) Tính h = x.g.

c) Đưa ra khóa công khai:

- h: phần tử của

d) Đưa ra khóa bí mật:

 x: số nguyên thuộc tập hợp [0,...,μ).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Giả sử I0 = I2OSP(0,4) và I1 = I2OSP(1,4).

Thuật toán mã hóa PSEC - KEM.Encrypt nhận đầu vào là khóa công khai, gồm phần tử h Î , cùng với tùy chọn mật mã fmt, đưa ra đnh dạng dùng đ mã hóa phần tử của nhóm. Thuật toán được thực hiện như sau:

a) Tạo xâu bộ tám ngẫu nhiên seed độ dài SeedLen.

b) Tính ,

là xâu bộ tám độ dài

c) Tạo cú pháp cho t, t = u || K, ở đây u K là các xâu bộ tám sao cho  |K| = KeyLen.

d) Tính r = OS2IP(u) mod μ.

e) Đặt  = r.g,  = r.h.

f) Đặt EG = ε(,fmt) và PEH = ε'().

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

h) Đặt MaskedSeed = seedÅSeedMask.

i) Đặt C0 = EG || MaskedSeed.

j) Đưa ra là bản mã C0 và khóa bí mật K.

10.3.4. Giải mã

Giả sử I0 = I2OSP(0,4) và I1 = I2OSP(1,4).

Thuật toán giải mã PSEC - KEM.Decrypt nhận đầu vào là khóa bí mật K, gồm phần tử x Î [0 ... μ) và bản mã C0. Thuật toán thực hiện như sau:

a) Tạo cú pháp C0, C0 = EG || MaskedSeed, EGMaskedSeed là các xâu bộ tám sao cho |MaskedSeed| = SeedLen; bước này sẽ thất bại nếu |C0| < SeedLen.

b) Đặt , bước này sẽ thất bại nếu EG không phải là mã hợp lệ của phần tử nhóm.

c) Tính

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

e) Đặt SeedMask = KDF(I1 || EG || PEH,SeedLen).

f) Đặt seed = MaskedSeed Å SeedMask.

g) Tính

là xâu bộ tám độ dài

h) Tạo cú pháp t, t = u || K  ở đây u K xâu bộ tám thỏa mãn và |K| = KeyLen.

i) Tính r = OS2IP(u) mod μ.

j) Tính  = r.g.

k) Kiểm tra , nếu không phải thì thất bại.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

CHÚ THÍCH Việc xem xét tính an toàn của lược đồ trên có thể tìm tại phụ lục B.10.

10.4. ACE-KEM

Điều này mô tả cơ chế bọc khóa ACE - KEM.

CHÚ THÍCH ACE - KEM được xây dựng dựa trên công trình của Cramer và Shoup [13,14].

10.4.1. Các tham số hệ thống

ACE - KEM là họ các cơ chế bọc khóa, được tham số hóa bởi các tham số hệ thống sau:

- G: nhóm cụ thể

được mô tả tại Điều 10.1;

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- Hàm băm mật mã được mô tả ở Điều 6.1;

- CofactorMode: một trong hai giá trị 0 hoặc 1.

- KeyLen: số nguyên dương.

Bất k sự kết hợp nào của các tham số hệ thống được phép đều cho phép, ngoại trừ các hạn chế sau:

- HashLen: phải nhỏ hơn log256μ.

- Nếu v = 1 thì CofactorMode sẽ bằng 0.

- Nếu v > 1 CofactorMode có thể bằng 1 với điều kiện gdc(μ, v) = 1.

CHÚ THÍCH Giá tr của Cofactormode ch được sử dụng bởi thuật toán giải mã.

10.4.2. Tạo khóa

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

a) Tạo số ngẫu nhiên w,x,y,z Î [0...μ).

b) Tính các phần tử của nhóm

g' = w.g,c = x.g,d = y.g,h = z.g.

c) Đưa ra khóa công khai:

- g',c,d,h: các phần tử thuộc

d) Đưa ra khóa riêng:

- w,x,y,z: các số nguyên thuộc tập [0 ...μ).

10.4.3. Mã hóa

Thuật toán mã hóa ACE = KEM.Encrypt nhận đầu vào là khóa công khai, gồm

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

cùng tùy lựa chọn mật mã fmt xác định định dạng dùng để mã hóa phần tử nhóm. Thuật toán thực hiện như sau:

a) Tạo số ngẫu nhiên r Î [0…μ)

b) Tính các phần tử nhóm

u = r.g,u' = r.g', = r.h.

c) Tính các xâu bộ tám

EU = ε(u,fmt),EU' = ε(u',fmt')

d) Tính số nguyên

α = OS2IP(Hash.eval(EU || EU')).

e) Tính số nguyên

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

f) Tính phần tử nhóm

v = r.c + r'.d.

g) Đặt EV= ε(v,fmt).

h) Đặt PEH = ε'().

i) Đặt C0 = EU || EU' || EV.

j) Đặt K = KDF(EU || PEH,KeyLen).

k) Đưa ra là bản mã C0 và khóa bí mật K.

10.4.4. Giải mã

Thuật toán ACE - KEM.Decrypt nhận đầu vào là khóa bí mật, gồm w,x,y,zÎ [0...μ) và bản mã C0. Thuật toán chạy như sau:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

b) Kiểm tra tập hợp {EU, EU', EV} có phải là tập bền vững các mã hợp lệ không, nếu không thì thất bại.

c) Nếu CofactorMode = 1, đặt

Ngược lại, thì đặt .

d) Nếu CofactorMode 1 và v > 1: kiểm tra u Î  nếu u Ï  thì thất bại.

e) Tính số nguyên

α = OS2IP(Hash. eval(EU || EU')).

f) Tính số nguyên

g) Kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

nếu không thỏa mãn, thì thất bại.

h) Tính phn t nhóm .

i) Đặt PEH =  ε'().

j) Đặt K - KDF(EU || PEH, KeyLen).

k) Đưa ra là khóa bí mật K.

Vì lý do an toàn, khuyến cáo rằng việc thực thi không được để lộ bất k thông tin nào về lý do sinh ra lỗi tại bước g. Nói riêng, việc thực thi có thể đưa ra cùng một thông báo lỗi tại cùng thời điểm bất kể lý do sinh ra lỗi.

CHÚ THÍCH 1 Sử dụng CofactorMode = 1 có th mang lại lợi ích cho thực thi nếu v đ nhỏ. Chú ý rằng ở chế độ này việc thực thi có th tính toán trưc và lưu trữ giá trị thay vì tính các giá trị w,x,y,z…

CHÚ THÍCH 2 Việc thực thi không phụ thuộc vào việc sử dụng phiên bản tương đương về chc năng sau đây của thuật toán giải mã. Trong thực thi không cần thiết phải tính u' v tại bước a của thật toán giải mã, mà đơn giản là tạo ra cú pháp C0 sau khi nhận được EU, EU', và EV, và ch biến đổi EU thành phn tử nhóm u. Bước b có thể bỏ qua. Tiếp đó việc kiểm tra tại bước g của thuật toán giải mã thực hiện như sau: Nếu u = 0 thì kiểm tra EU'EV có phải là mã (duy nht) của 0 hay không; nếu không thì gi sử fmt là biến định dạng của EU và kiểm tra các điều kiện ε(= EU' và ε(= EV.

CHÚ THÍCH 3 Việc xem xét chi tiết tính an toàn của lược đồ này được đề cp ở Ph lục B.11.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Điều này mô tả mật mã phi đối xứng và các cơ chế bọc khóa dựa trên biến đổi RSA. Mã RSAES được mô tả tại Điều 11.4; cơ chế bọc khóa RSA - KEM được mô tả ở Điều 11.5.

CHÚ THÍCH 1 Các lược đồ này là sự cải biên của lược đồ mật mã gốc RSA [31].

CHÚ THÍCH 2 Trong một số tiêu chuẩn ISO khác, thuật ngữ “phân tích số“ được sử dụng ở những nơi "dựa vào RSA"; tuy nhiên, vì tiêu chuẩn này xác đnh một số lược đ khác nhau dựa trên phân tích số, nên nó chấp nhận thỏa thuận đặt tên mới.

11.1. Các thuật toán tạo khóa RSA

Thuật toán tạo khóa RSA, RSAKeyGen() là thuật toán xác suất không có đầu vào, đầu ra là bộ ba (n, e, d), ở đây:

- S nguyên n là tích của hai số nguyên tố pq, có độ dài tương tự nhau, p ≠ q,

- e là số nguyên dương thỏa mãn điều kiện gcd(e, (p - 1)(q -1)) = 1 và

- d là số nguyên dương thỏa mãn ed ≡ 1(modλ(n)) ở đây λ(n) là bội số chung nhỏ nhất của (p -1) (q -1).

Phân phối đầu ra của thuật toán tạo khóa RSA phụ thuộc vào thuật toán cụ thể. Thuật toán này được phép cho kết quả đầu ra không thỏa mãn các điều kiện trên đây, chừng nào điều đó còn xy ra với xác suất không đáng kể.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

CHÚ THÍCH 2 Xem ISO/IEC 18033 hướng dẫn thuật toán tạo các s nguyên t p q được đ cập trên đây.

11.2. Biến đổi RSA

Thuật toán RSATransform (X, α, n) nhận đầu vào là

- Xâu bộ tám X,

- Số nguyên α, và

- Số nguyên n,

Và đầu ra là xâu bộ tám. Thuật toán thực hiện như sau:

a) Kiểm tra việc thực hiện |X| =  (n); nếu không thực hiện thì thất bại.

b) Đặt x = OS2IP(X).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

d) Đặt y = xa mod n.

e) Đặt Y = OS2IP(y,(n)).

f) Đưa ra là Y.

CHÚ THÍCH Như đã biết, nếu (n, e, d) là đầu ra của thuật toán tạo khóa RSA và X = I2OSP(x,(n)) với số nguyên x nào đó tha mãn 0 ≤ x ≤ n, khi đó

RSATransform (RSATransform(X,e,n),d,n) = X.

11.3. Các cơ chế mã hóa RSA

Cơ chế mã hóa RSA, REM xác định hai thuật toán:

- REM.Encode(M, L, ELen) nhận đầu vào là bản rõ M, nhãn L và độ dài đầu ra là ELen. đây, ML là các xâu bộ tám với độ dài bị hạn chế được mô tả dưới đây. Đầu ra là xâu bộ tám E độ dài Elen.

- REM.Decode(E,L) nhận đầu vào là xâu bộ tám E, nhãn L và tìm bản rõ M thỏa mãn REM.Encode(M,L,|E|) = E. Nếu không đưa ra được M như vậy thì tht bại.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Nói chung thuật toán REM.Encode là thuật toán xác suất, bởi cùng một bản rõ có thể được mã hóa bằng một số cách khác nhau. Đồng thời vì lý do kỹ thuật, yêu cầu bộ tám đầu tiên của đầu ra phải là Oct(0).

11.3.1. Các cơ chế mã hóa RSA được phép

Trong phần này của ISO/IEC, Cơ chế mã hóa RSA được phép là REM1, được mô tả dưới đây ở Điều 11.3.2.

11.3.2. REM1

Điều này mô tả cơ chế mã hóa cụ thể được gọi là REM1.

CHÚ THÍCH REM1 được xây dựng trên cơ sở OAEP của Bellare và Rogaway [8].

11.3.2.1. Các tham số hệ thống

REM1 là họ các cơ chế mã hóa RSA được tham số hóa bởi các tham số hệ thống sau đây:

- Hash: hàm băm mật mã được mô tả tại Điều 6.1;

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Giá trị REM.Bound được xác định bằng:

REM1.Bound = 2.Hash.len + 2.

11.3.2.2. Hàm mã hóa

Hàm mã hóa REM1.Encode(M, L, ELen) chạy như sau:

a) Kiểm tra |M| ≤ ELen-2.HashJen-2, nếu không thì thất bại.

b) Giả sử phần đệm (pad) là xâu bộ tám độ dài ELen-|M|-2.Hash.Ien-2 gồm một xâu bộ tám Oct(0).

c) Tạo mầm là xâu bộ tám ngẫu nhiên mầm độ dài Hash.len.

d) Đặt check = Hash.eval(L).

e) Đặt DataBlock = check

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

g) Đặt MaskedDataBlock = DataBlockMask Å DataBlock.

h) Đặt SeedMask = KDF(MaskedDataBlock, Hash.len).

i) Đặt MaskedSeed = SeedMask Å seed.

j) Đặt E = || MaskedSeed || MaskedDataBlock.

k) Đưa ra E.

11.3.2.3. Hàm giải mã (Decoding function)

Thuật toán REM1.Decode(E,L) chạy như sau:

a) Giả sử Elen = |E|.

b) Kiểm tra ELen ≥ 2.Hash.len + 2; nếu không thì tht bại.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

d)  Tạo cú pháp E, E =  || MaskedSeed || MaskedDataBlock; ở đây X là bộ tám và MaskedSeed MaskedDataBlock là các bộ tám thỏa mãn hệ thức

|MaskedSeed| = Hash.len,|MaskedDataBlock| = Elen-Hash.len-1.

e) Đặt SeedMask = KDF(MaskedDataBlock, Hash.len).

f) Đặt seed = MaskedSeed Å SeedMask.

g) Đặt DataBlockMask = KDF(seed,Elen - Hash.len - 1).

h) Đặt DataBlock = MaskedDataBlock Å DataBlockMask.

i) Tạo cú pháp cho DataBlock, DataBlock=check'; Check’ M' là các xâu bộ tám với |check'| = Hash.len;|M'| = ELen-2.Hash.len-1.

j) Giả sử  là các bộ tám và l - Elen - 2.Hash.len - 1; đồng thời giả sử m là số nguyên dương lớn nhất sao cho m l,M1 = M2 =  = Oct(0) và T là ký hiệu bộ tám Mm, giả sử M là ký hiệu xâu bộ tám .

k) Nếu check’ ≠ check, X ≠ Oct(0), hoặc T ≠ Oct(1) thì thất bại.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Vì lý do an toàn, điều quan trọng là trong quá trình thực thi không để lộ bất kỳ thông tin nào về nguyên nhân phát sinh lỗi tại bước k. Nói riêng, thực thi có thể cho ra thông báo cùng lỗi tại cùng thời điểm, bất kể nguyên nhân việc sinh ra lỗi.

11.4. RSAES

11.4.1. Các tham số hệ thống

RSAES là họ các mã phi đối xứng với độ dài bản rõ bị hạn chế, được tham số hóa bởi các tham số hệ thống sau:

- RSAKeyGen: Thuật toán tạo khóa RSA được mô tả tại Điều 11.1;

- REM: cơ chế mã hóa RSA được mô tả tại Điều 11.3.

Bất kỳ một tổ hợp các tham số hệ thống nào cũng được phép với các hạn chế sau:

- Độ dài tính bằng octet của đầu ra n của RSAKeyGen() phải luôn luôn lớn hơn REM.Bound.

11.4.2. Tạo khóa

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

a) Tính (n, e,d) = RSAKeyGen().

b) Khóa công khai đầu ra PK:

- n: số nguyên dương.

- e: số nguyên dương.

c) Đưa ra khóa riêng pk:

- n: số nguyên đương.

- d: số nguyên dương.

RSAES là mật mã phi đối xứng với độ dài bản rõ bị hạn chế. Đối với khóa công khai cho trước PK = (n, e), giá trị của RSAES.MaxMsgLen(PK)(n) - REM. Bound.

Các thuật toán mã hóa và giải mã đều sử dụng biến đổi thuật toán RSA được định nghĩa tại Điều 11.2.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Thuật toán RSAES.Encrypt nhận đầu vào;

- Khóa công khai, gồm số nguyên dương n và số nguyên dương e,

- Nhãn L,

- Bản rõ M với độ dài lớn nhất (n) - REM.Bound,

- Không có tùy chọn mật mã.

Thuật toán chạy như sau:

a) Đặt E = REM.Encode(M, L,(n)).

b) Đặt C = RSATransform(E, e, n).

c) Đưa ra C.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Thuật toán RSAES.Decrypt nhận đầu vào:

- Khóa riêng, gồm số nguyên dương n và số nguyên dương e,

- Nhãn L, và

- Bản mã C.

Thuật toán chạy như sau:

a) Đặt E = RSATransform (C,d,n); chú ý rằng bước này cũng có thể thất bại.

b) Đặt M = REM. Decode(E,L); chú ý rằng bước này cũng có thể thất bại.

c) Đưa ra M.

CHÚ THÍCH Tính an toàn của RSAES được xem xét tại Phụ lục B.13.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

11.5.1. Các tham số hệ thống

RSA - KEM là họ các cơ chế bọc khóa, được tham số hóa bởi các tham số hệ thống sau đây:

- RSAKeyGen: Thuật toán tạo khóa RSA, được mô tả ở Điều 11.1;

- KDF: hàm dẫn xuất khóa được mô t ở Điều 6.2;

- KeyLen: s nguyên dương.

Giá trị của RSA - KEM.KeyLen được xác định bằng giá trị của tham số hệ thống Keylen.

11.5.2. Tạo khóa

Thuật toán RSA - KEM.KeyGen không có đầu vào, chạy như sau:

a) Tính (n,e,d) = RSAKeyGen().

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- n: số nguyên dương.

- e: s nguyên dương.

c) Đưa ra khóa riêng pk:

- n: số nguyên dương.

- d: s nguyên dương.

Thuật toán mã hóa và giải mã sử dụng thuật toán biến đổi RSA được định nghĩa tại Điều 11.2.

11.5.3. Mã hóa

Thuật toán mã hóa RSA - KEM.Encrypt nhận đầu vào là:

- Khóa công khai, bao gồm các số nguyên dương ne, và

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Thuật toán chạy như sau:

a) Tạo số ngẫu nhiên r Î [0..n).

b) Đặt R = I2OSP(r,(n)).

c) Đặt C0 = RSATransform(R, e,n).

d) Tính K = KDF(R,KeyLen).

e) Đưa ra là bản rõ C0 và khóa bí mật K.

11.5.4. Giải mã

Thuật toán RSA - KEM.Decrypt nhận đầu vào:

- Khóa mật gồm các số nguyên dương nd

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Thuật toán chạy như sau:

a) Đặt R = RSATransform(C0, d, n); chú ý rằng bước này cũng có thể thất bại.

b) Tính K = KDF(R, KeyLen).

c) Đầu ra là khóa bí mật K.

CHÚ THÍCH Tính an toàn của RSA - KEM được xem xét tại phụ lục B.14.

12. Mật mã dựa trên phép bình phương modulo

Điều này mô tả họ các mật mã phi đối xứng dựa trên phép bình phương modulo. Mã HIME(R) được mô tả tại Điều 12.3.

12.1. Các thuật toán tạo khóa HIME

Với số dương ld >1 và thuật toán tạo khóa l - bit HIME - HIMEKeyGen là thuật toán xác suất không có đầu vào, đầu ra là các số nguyên dương (p,q,n,d),ở đấy:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- qsố nguyên tố với 2l-1 q < 2l; q ≡ 3 (mod 4) và p ≠ q,

- n = pdq.

Phân phối đầu ra của thuật toán tạo khóa HIME bit phụ thuộc vào thuật toán cụ thể. Thuật toán này được phép cho kết quả đầu ra không thỏa mãn các điều kiện trên đây, chừng nào điều đó còn xảy ra với xác suất không đáng kể.

CHÚ THÍCH 1 Trong mô tả mt mã dựa trên HIME, những lược đồ này được tham số hóa theo thuật ngữ của HIMEKeyGen, nghĩa là HlMEKeyGen được xem như tham số hệ thống của mật mã.

CHÚ THÍCH 2 Tham khảo ISO/IEC 18032 v hướng dẫn thiết kế thuật toán tạo các số nguyên tố pq ở trên.

12.2. Các cơ chế mã hóa HIME

Cơ chế mã hóa theo HIME, ký hiệu HIME HEM đưa ra hai thuật toán:

- HEM.Encode(M,L,ELen,KLen) nhận đầu vào là bản rõ M, nhãn L, độ dài đầu ra Elen, và số nguyên dương KLen.ML là các xâu bộ tám với độ dài b giới hạn, được mô tả dưới đây. KLen thỏa mãn điều kiện 1 ≤ KLen ≤ 8. Đầu ra là xâu bộ tám E độ dài ELen.

- HEM.Decode(E,L,KLen) nhận đầu vào là xâu bộ tám E, nhãn L, và số nguyên dương KLen. Đầu ra là bản rõ M sao cho HEM.Encode(M,L,|E|,KLen) = E. Thuật toán sẽ đưa ra M, nếu không thì thất bại.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Trong phần này của ISO/IEC 18033, cơ chế mã hóa HIME được phép là HEM1, được mô tả ở Điều 12.2.2 dưới đây.

12.2.2. HEM1

Điều này mô tả một cơ chế mã hóa HIME cụ thể, được gọi là HEM1.

CHÚ THÍCH HEM1 dựa trên OAEP do Bellare và Rogaway xây dựng [8].

12.2.2.1. Các tham số hệ thống

HEM1 là họ các cơ chế mã hóa HEM được tham số hóa bởi các tham số hệ thống sau:

- Hash: hàm băm mật mã được mô tả tại Điều 6.1;

- KDF: hàm dẫn xuất khóa được mô tả tại Điều 6.2.

Độ lớn của HEM1.Bound được định nghĩa bằng

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

12.2.2.2. Hàm mã hóa

Thuật toán HEM1.Encode(M,L,ELen,KLen) chạy như sau:

a) Kiểm tra điều kiện |M| ELen-2.HashJen-2, nếu không thỏa mãn thì thất bại.

b) Giả sử phần pad là xâu bộ tám độ dài ELen-|M|-2Hash.len-2 gồm một xâu octet Oct(0).

c) Tạo xâu bộ tám ngẫu nhiên seed với độ dài Hash.len +1.

d) Xóa đi KLen - bít có nghĩa nhất của seed.

e) Đặt check = Hash.eval(L).

f) Đặt Data.Block =

g) Đặt DataBlockMask = KDF(seed, ELen - HashLen - 1).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

i) Đặt SeedMask = KDF(MaskedDataBlock,Hash.len + 1).

j) Xóa đi KLen - bit có nghĩa nhất của SeedMask.

k) Đặt MaskedSeed = SeedMask Å seed.

I) Đặt E = MaskedSeed II MaskedDataBlock.

m) Đưa ra E.

12.2.2.3. Hàm giải mã

Thuật toán HEM1.Decode(E,L,KLen) chạy như sau:

a) Đặt ELen = |E|.

b) Đặt check = Hash.eval(L).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

d) Đặt SeedMask = KDF(MaskedDataBlock, Hash.len + 1).

d) Xóa Klen - bit có nghĩa nhất của SeedMask.

f) Đặt seed = MaskedSeed Å SeedMask.

g) Đặt DataBlockMask = KDF(seed,ELen - Hash.len - 1).

h) Đặt DataBlock = MaskedDataBlock Å DataBlockMask.

i) Tạo cú pháp cho DataBlock, DataBlock = check'||M' ở đây check’ M’ là các xâu bộ tám thỏa mãn điều kiện |check'| = Hash.len |M'| = ELen - 2.Hash.len - 1.

j) Đặt M’ = ,ở đây M1,…,Ml là các bộ tám và l = Elen - 2.Hash. len - 1; đồng thời gi sử m là số nguyên dương lớn nhất sao cho m ≤ /, và M1 = M2 =...= Mm-1= Oct(0) và T là ký hiệu Mm, M ký hiệu xâu bộ tám

k) Nếu check' check, phần KLen - bit có nghĩa nhất nhất của seed xâu bit gồm các số 0, hoặc T Oct(1), thì thất bại.

l) Đưa ra M.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

12.3. HIME(R)

12.3.1. Các tham số h thng

HIME(R) là họ các mật mã phi đối xứng với độ dài bản rõ bị hạn chế, được tham số hóa bởi các tham số hệ thống sau:

- d: số nguyên >1,

- HIMEKeyGen: thuật toán tạo khóa HIME l-bit được mô tả tại Điều 12.1;

- HEM: cơ chế mã hóa HIME được mô tả ở Điều 12.2.

12.3.2. Tạo khóa

Thuật toán HIME(R).KeyGen không có đầu vào, chạy như sau:

a) Tính (p,q,n) = HIMEKeyGen().

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- n: số nguyên dương.

c) Đưa ra khóa riêng pk:

- n, p, q: các số nguyên dương.

12.3.3. Mã hóa

Thuật toán mã hóa HIME(R).Encrypt nhận đầu vào là

- khóa công khai là số nguyên dương n,

- Nhãn L,

- Bản rõ M vi độ dài lớn nht là (n) - HEM.Bound,

- Không có tùy chọn mật mã.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

a) Đặt k = 8.(n) - (độ dài bit của n) + 1.

b) Đặt E = HEM.Encode(M, L,(n), k).

c) Đặt e = OS2IP (E).

d) Đặt c = e2mod n.

e) Đặt C = I2OSP(c,(n)).

f) Đưa ra C.

12.3.4. Giải mã

Thuật toán giải mã HIME(R).Decrypt nhận đầu vào là:

- Khóa riêng gồm các số nguyên dương n, p, q,

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- Bản mã C.

Thuật toán chạy như sau:

a) Đặt c = OS2IP(C).

b) Đặt k= 8.(n)-(độ dài bit của n) + 1.

c) Đặt z = p-1 mod. q.

d) Đặt cp = c mod p, cq= c mod q.

e) Đặt α1 =  mod p,α2 = p - α1.

f) Đặt β1 = mod q,β2 = q - β1

g) Đặt

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

2)  z mod q.

3)  z mod q.

4)  z mod q.

h) Với i từ 1 đến 4, thực hiện:

1) Đặt

2) Với t từ 2 đến d, thực hiện:

i) Đặt

ii) Đặt

3) Đặt

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

j) Nếu tồn tại duy nhất i sao cho HEM.Decode(Xi,L, k) không bị thất bại và  mod n = c, thì vi i đó đặt M = HEM.Decode(Xi,L,k), nếu không thì thất bại.

k) Đưa ra M.

CHÚ THÍCH Việc xem xét tính an toàn của lược đ này được trình bày tại Phụ lục B.15.

 

PHỤ LỤC A

(Quy định)

CÚ PHÁP ASN.1 CHO CÁC BỘ ĐỊNH DANH ĐỐI TƯỢNG

Phụ lục cung cấp cú pháp cho các bộ định danh đối tượng, khóa công khai, và các cấu trúc tham số đi kèm với các thuật toán được đặc tả trong phần này của ISO/IEC 18033.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

 

PHỤ LỤC B

(Tham khảo)

XEM XÉT TÍNH AN TOÀN

Trong Phụ lục này xem xét các đặc tính an toàn của các lược đồ mật mã khác nhau đã được mô tả trong phần này của tiêu chuẩn ISO/IEC 18033. Đi với mỗi loại lược đồ (ví dụ, mã phi đối xứng, thuật toán MAC,...) đưa ra định nghĩa hình thức tương ứng và với mỗi lược đồ cụ thể sẽ xem xét phạm vi mà đnh nghĩa đưa ra được thỏa mãn.

Tính an toàn của mỗi lược đồ có thể được chứng minh một cách hình thức, dựa trên các giả thuyết nhất định về tính khó, hoặc trên một giả thuyết khác các cơ chế ở mc thp hơn là an toàn. Các chng minh này là “các phép quy dẫn”, trong đó chỉ ra làm thế nào để quy dẫn vấn đề kẻ địch A phá được lược đồ về lược đồ kẻ địch A' giải bài toán được giả thiết là khó, hoặc phá một cơ chế được coi là an toàn. Trong phần lớn các trường hợp, “chất lượng" của "phép quy dẫn" được chỉ ra bằng mô tả cách định lượng mối quan hệ giữa các yêu cầu về tài nguyên (ví dụ thời gian chạy thuật toán) và ưu thế (ví dụ xác suất thành công) của A và yêu cầu về tài nguyên và ưu thế của A'. Phép quy dẫn được gọi là “chặt chẽ”, nếu các yêu cầu về tài nguyên ca A' lớn hơn không đáng k so với các yêu cầu v tài nguyên của A, và nếu ưu thế của A' cũng nhỏ hơn không đáng kể so với của A.

Phương pháp tiếp cận tính an toàn ở đây là “cụ thể", như trong [6], so với cách tiếp cận có tính ‘‘tiệm cận”: phép quy dẫn của tính an toàn được phát biểu bằng thuật ngữ của các lược đồ cụ thể, chứ không phải bằng thuật ngữ của họ các lược đồ được chỉ số hóa bởi “tham số an toàn” và chỉ số này có xu hướng tiến ra vô cùng. Tuy nhiên, một số ước lượng định lượng được biểu thị bằng khái niệm “O lớn”, nhưng hoàn toàn là những hằng số bé.

Một số chứng minh tính an toàn thuộc mô hình được gọi là “tiên tri ngẫu nhiên”, mô hình này đầu tiên được hình thức hóa trong [7] và từ đó được sử dụng để phân tích nhiều lược đồ mật mã. Trong mô hình tiên tri ngẫu nhiên, hàm băm và hàm dẫn xuất khóa được mô hình như những hàm ngẫu nhiên, mà đối với mọi thuật toán hay mọi kẻ tấn công, chúng ch là những “hộp đen". Các loại chứng minh tính an toàn theo mô hình tiên tri ngẫu nhiên như thế tốt nhất là nên xem như những chứng minh mới ở mức tìm tòi (heuristic). Có thể, một lược đồ là an toàn theo mô hình tiên tri ngẫu nhiên, nhưng lại bị phá mà không cần giải được bài toán khó cơ s, hoặc các giả thuyết an toàn và không cần phải tìm ra bất kỳ điểm yếu cụ thể nào trong hàm băm hay hàm dẫn xuất khóa nào [12]. Nối cách khác, chứng minh tiên tri ngẫu nhiên đã loại b mất một lớp tấn công rộng.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Điều này mô tả đặc tính an toàn cơ bản của thuật toán MAC đă được trình bày trong phần này của tiêu chuẩn ISO/IEC 18033.

Xét thuật toán MA thuộc các thuật toán MAC được mô tả tại Điều 6.3.

Xét kịch bản tấn công sau đây. Kẻ tấn công chọn ngẫu nhiên một xâu bộ tám T* và khóa bí mật k'. Gi sử kẻ tấn công cũng sở hữu giá trị MAC* = MA.eval(k',T*). K tấn công tạo ra một danh sách các cặp (T, MAC), ở đây T là xâu bộ tám với T ≠ T* (và cũng không nhất thiết có cùng độ dài với T), và MAC là xâu bộ tám độ dài MA.MACLen. Ưu thế của kẻ tấn công được định nghĩa là xác suất sao cho với mỗi cặp (T, MAC), ta có MA.eval(k',T) = MAC.

Với kẻ tấn công A và thuật toán MA, lợi thế được ký hiệu là AdvMA(A). Nếu k tấn công chạy trong khoảng thời gian nhiều nhất là t và tạo ra được một danh sách nhiều nhất là l cặp và T* và tất cả T về độ dài bị giới hạn bởi l', thì A được gọi là kẻ tấn công MA[t, l, l'].

Tính an toàn ở đây có nghĩa là lợi thế này là không đáng kể đối với bất kỳ kẻ tấn công hiệu quả nào.

Mặc dù mô hình tấn công “đơn thông báo' ở đây được xem là đủ cho việc thiết kế các cơ chế bọc dữ liệu an toàn, nhưng với nhiều ứng dụng khác là không đủ, và cần xem xét cả mô hình tn công "đa thông báo. Trong mô hình tấn công “đa thông báo”, thay vì thu được giá trị của MA.eval(k',.) tại đầu vào đơn lẻ T*, kẻ tn công được phép thu được giá trị của MA.eval(k',.) tại nhiều đầu vào (được chọn phù hợp), T*,…,T*s. Vì trước đó kẻ tấn công đã lập được danh sách các cặp (T, MAC), nhưng với hạn chế là với 1 ≤ i ≤ s

Điều 6.3.1 cho phép sử dụng các thuật toán MAC được mô tả tại ISO/IEC 9797-1 và ISO/IEC 9797-2, tất cả các thuật toán này được thiết kế an toàn trong mô hình tấn công “đa thông báo' và một số trong số đó được chứng minh là an toàn theo mô hình này, dựa trên những gi thiết nhất định về hàm băm mật mã cơ sở.

B.2. Mã khối

Điều này mô tả đặc tính an toàn cơ bn của mã khối được trình bày trong phần này của ISO/IEC 18033.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

BC được gọi là hoán v giả ngẫu nhiên, nếu kẻ tấn công khó phân biệt được hoán v ngẫu nhiên của xâu bộ tám độ dài BC.BlockLen với hoán v b → BC.Encrypt(k,b) với khóa bí mật k được chọn ngẫu nhiên. Trong tn công này, kẻ tấn công được cho ở dạng tiếp cận tiên tri (oracle access) tới hoán vị hoặc tới hoán vị ngẫu nhiên hoặc tới mã khối và phải đoán được đang tiếp cận trường hợp nào. Hoán vị được coi là giả ngẫu nhiên, nếu với bất k kẻ tấn công hiệu qu nào, khả năng đoán thành công của nó gần bằng 1/2, với sai số không đáng kể.

Điều 6.4.1 cho phép sử dụng các mã khối được mô tả trong ISO/IEC 18033-3. Mặc dù có một ít chứng minh hình thức, nhưng kinh nghiệm cho thấy những mã khối này trong thực tế cũng hành xử như các phép hoán vị giả ngẫu nhiên.

B.3. Mã đối xứng

Điều này mô t đặc tính an toàn cơ bản được yêu cầu đối với mã đối xứng trong phần này của ISO/IEC 18033.

Xét mã đối xứng MC được xác định trong Điều 6.5.

Xét kịch bn tấn công sau. Kẻ tấn công tạo ra hai bản rõ (hai xâu bộ tám) M0, M1 độ dài bằng nhau, khóa bí mật k và chọn một bit ngẫu nhiên b, và Mb được mã hóa theo khóa k. Kẻ tấn công biết bản mã c. Gọi  là phỏng đoán bit b của kẻ tấn công. Ưu thế của k tấn công được định nghĩa bằng

Gi sử A là kẻ tấn công và SC là mã đối xứng, ưu thế của A được ký hiệu là AdvSC(A). Nếu kẻ tấn công chạy thời gian nhiều nhất là t và đầu ra của thuật toán mã hóa có độ dài lớn nhất là l bộ tám, thì A được gọi là k tấn công SC[t, l].

Tính an toàn ở đây có nghĩa là ưu thế này là không đáng kể đối với bất kỳ kẻ tấn công hiệu quả nào.

Mặc dù mô hình tấn công "đơn bản rõ" ở đây được xem là đủ cho việc thiết kế các cơ chế bọc dữ liệu an toàn, nhưng với nhiều ứng dụng khác là không đủ và cần xem xét thêm mô hình tấn công “đa bản rõ”, ở đó kẻ tấn công được phép có được nhiều phép mã hóa phù hợp để lựa chọn. Dạng tấn công này cũng được gọi là tấn công “chọn bản rõ”. Một dạng tấn công khác được gọi là tấn công “chọn bản mã”, ở đó kẻ tn công có được kết quả giải mã các bản mã đã lựa chọn.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Điều này xem xét tính an toàn của SC1 được định nghĩa tại Điều 6.5.2.

Đấy là mã đối xứng được tham số hóa theo thuật ngữ của mã khối BC.

Chế độ móc xích mã khối mã (CBC) với giá trị khởi đầu (IV) được phân tích trong [4], tại đây đã chỉ ra chế độ CBC là an toàn đối với tấn công “đa bn rõ” như đã thảo luận ở trên, với giả thiết BC là hoán vị giả ngẫu nhiên (xem Phụ lục B.2). Mã SC1 sử dụng giá trị khi đầu cố định. Tuy vậy, dễ dàng điều chnh chứng minh tính an toàn trong [4] để chỉ ra rằng SC1 là an toàn chống lại tấn công "đơn bản rõ” vốn phù hợp với các cấu trúc trong tài liệu này.

Để ý rng trong bài báo [35] trình bày một số tn công lên SC1. Tuy nhiên, các tấn công trong [35] là tấn công “chọn bản mã” và do đó không liên quan ở đây. Tóm lại lược đồ bộ đệm (padding) đóng vai trò an toàn trong mã hóa CBC ch khi xem xét các tấn công chọn bản mã.

B.3.2. An toàn của SC2

Phần này thảo luận tính an toàn của SC2 được định nghĩa trong Điều 6.5.3.

Hiện nay chưa có một phép quy dẫn hình thức nào quy tính an toàn của SC2 về tính an toàn của một số cơ chế khác hoặc tính khó của bài toán khác. Tuy nhiên, nếu muốn mô hình hóa hàm dẫn xuất khóa như một tiên tri ngẫu nhiên thì có thể yên tâm rằng SC2 là mật mã đối xứng an toàn.

B.4. Mật mã phi đối xứng

Điều này mô tả đặc tính an toàn cơ bản được yêu cầu đối với mật mã phi đối xứng.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Xét kịch bản tấn công chọn bản mã phù hợp” sau đây.

Bước 1: Chạy thuật toán tạo khóa, tạo ra khóa công khai và khóa riêng. Kẻ tấn công, hiển nhiên, biết được khóa công khai nhưng không biết khóa riêng.

Bước 2: Kẻ tấn công đưa ra một loạt câu truy vn tùy ý để tiên tri giải mã. Mỗi câu chất vn là một cặp nhãn/bản mã (L, C), cặp này được giải mã bởi tiên tri giải mã sử dụng khóa riêng. Kết quả giải mã được trao cho kẻ tấn công. Ngoài ra, nếu thuật toán thất bại thì thông tin này được trao cho k tấn công và việc tấn công được tiếp tục. Kẻ tấn công tự do thiết kế các cặp nhãn/bản mã này theo một cách tùy ý - hiển nhiên không cần sử dụng thuật toán mã hóa để tính toán chúng.

Bước 3: Kẻ tấn công chuẩn bị nhãn L* và hai bản rõ “đích" M0, M1 có cùng độ dài, và nạp chúng vào tiên tri mã hóa. Nếu lược đồ hỗ trợ các tùy chọn mật mã nào đó, thì kẻ tấn công cũng sẽ chọn chúng. Tiên tri mã hóa chọn ngẫu nhiên b Î {0,1} mã hóa Mb sử dụng nhãn L*, chuyển kết quả là bn mã "đích" C* cho kẻ tấn công.

Bước 4: Kẻ tấn công tiếp tục chuyển cặp nhãn /bản mã (L,C) tới tiên tri giải mã, chỉ với điều kiện ràng buộc là (L,C) ≠ (L*,C*).

Bước 5: K tấn công đưa ra  Î {0,1}, và dừng lại.

Ưu thế của A được định nghĩa bằng giá trị . Với kẻ tấn công A và mã phi đối xứng AC, ưu thế của A được ký hiệu là AdvAC(A). Nếu kẻ địch trong thi gian thực hiện t, thực hiện nhiều nhất là q truy vấn giải mã tiên tri, tất cả các bn mã là đầu ra từ mã hóa tiên tri và đầu vào ca giải mã tiên tri có độ dài lớn nhất là l, và các nhãn đầu vào của mã hóa và giải mã tiên tri lớn nhất là l', khi đó A được gọi là k tn công -AC[t,q,l,l'].

Tính an toàn có nghĩa là ưu thế đối với tất c kẻ tấn công hiệu quả là không đáng kể.

Định nghĩa này, ở dạng hơi khác một ít, lần đầu tiên được đề xuất bởi Rackoft và Simon trong [30], trong công trình này định nghĩa trên đã được khái quát cho trường hợp độ dài bản rõ tùy ý và tính đến vai trò của nhãn. Nói chung cộng đồng nghiên cứu mật mã nhất trí rằng đây là thuộc tính an toàn “ổn" cho mật mã phi đối xứng tổng quát. Khái niệm an toàn này kéo theo các đặc tính có lợi khác như “không dễ uốn” (xem [15,16]). Một cách trực quan, tính không dễ uốn có nghĩa là khó biến đổi một cp nhãn/bản mã (L,C), mã hóa bản rõ M thành cặp khác (L’,C’), sao cho việc giải mã C' bằng nhãn L' liên quan đến M theo một cách nào đó. Tham khảo thêm các khái niệm khác an toàn đối với mã đối xứng trong [11,14, 5,15,16]

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Ngoài ra trong [21] cũng trình bày một định nghĩa yếu hơn về an toàn, được gọi là an toàn “ngữ nghĩa” Trong thiết kế này khái niệm an toàn cũng được định nghĩa giống như ở đây, trừ một điểm là nói chung kẻ tấn công không được phép thực hiện bất kỳ truy vấn tiên tri giải mã nào.

B.4.1. Che giấu độ dài bản rõ

Lưu ý rằng trong cuộc tấn công, đòi hỏi kẻ tấn công phải chuyển cho tiên tri mã hóa hai bản rõ đích có cùng độ dài. Hạn chế này lên kẻ tấn công phn ánh một sự thật là, không thể che giấu kẻ tấn công độ dài của bn rõ được mã hóa - đối với nhiều hệ mật mã thì độ dài bản rõ được thấy rõ từ độ dài bản mã. Nói chung là điều này được áp dụng trong ứng dụng mật mã để đảm bảo là độ dài bản rõ không để lộ thông tin nhạy cảm.

Với mật mã độ dài bản rõ bị giới hạn, khái niệm an toàn cũng giống như trong các trường hợp thông thường, trừ một điểm là không yêu cầu kẻ tấn công trình các bản rõ đích có cùng độ dài cho tiên tri mã hóa. Điều này phản ánh một sự thật là những lược đồ này có thể che giấu độ dài của bản rõ đối với kẻ tấn công.

Với mật mã phi đối xứng độ dài bản rõ cố định, thì vấn đề trên không bị phát sinh.

B.4.2. Tính dễ bị uốn nhẹ: Khái niệm yếu hơn một ít về an toàn

Định nghĩa tính an toàn trên đây có thể coi là mạnh đến mức không cần thiết. Ví dụ, lấy một mật mã phi đối xứng AC thỏa mã định nghĩa trên và thay đổi nó để nhận được mật mã mới AC’ như sau: AC' cũng giống như AC, ch trừ một điểm là một bộ tám ngẫu nhiên được gắn vào bản mã sau khi mã hóa và loại bộ tám bổ sung đó trước khi giải, về phương diện kỹ thuật, AC’ không thỏa mãn định nghĩa trên đối với tính an toàn bản mã lựa chọn thích hợp mà dường như điều này là phi trực quan. Thật vậy, mặc dù về mặt kỹ thuật AC’ là “dễ bị uốn”, nhưng ch dễ bị uốn theo một kiểu “nhẹ": có thể tạo ra các bản mã khác nhau của cùng một bản rõ, và các bản mã khác nhau đó đều dễ dàng bị nhận dạng là bản thay thế của một bản rõ.

Điều này mô tả khái niệm hình thức v tính an toàn, phản ánh chính xác khái niệm trực giác của "tính dễ uốn nhẹ".

Đối với mật mã phi đối xứng cụ thể AC, hàm giá trị 0/1, thời gian đa thc Equiv, được gọi là thuộc tính tương đương (equivalence predicate) cho AC, nếu với xác suất trội, đầu ra của AC.KeyGen là cặp (PK,pk) sao cho với nhãn bất kỳ L và hai bản mã bất kỳ CC', ta có:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Mã đối xứng AC được gọi là dễ uốn nhẹ, nếu tồn tại thuộc tính tương đương Equiv và nếu nó thỏa mãn định nghĩa an toàn ở trên về tính an toàn chống lại tấn công chọn bản mã thích hợp, nhưng với cải biên sau đây trong cuộc chơi tấn công: khi kẻ tấn công trình cặp nhãn/bản mã (L,C') cho tiên tri giải mã ở bước 4, thì thay vì yêu cầu cặp (L,C) ≠ (L*,C*), đòi hi L* ≠ L hoặc Equiv(PK,L,C,C*) = 0. Đối với kẻ tấn công A, ưu thế của nó trong cấu trúc này ký hiệu bằng Adv'AC(A).

B.5. Các cơ chế bọc khóa

Điều này mô tả thuộc tính an toàn cơ bản đòi hỏi đối với cơ chế bọc khóa.

Xét cơ chế bọc khóa KEM được định nghĩa trong Điều 8.1.

Xét kịch bản tấn công “chọn bản mã thích hợp" sau:

Bước 1: Chạy thuật toán tạo khóa, tạo ra khóa công khai và khóa riêng. Kẻ tấn công, hiển nhiên, biết được khóa công khai nhưng không biết khóa riêng.

Bước 2: Kẻ tấn công đưa ra một loạt câu truy vn cho tiên tri giải mã. Mỗi câu truy vấn là bản mã C0, được giải mã bởi tiên tri giải mã, sử dụng khóa riêng. Kết quả giải mã được trao cho kẻ tấn công, hơn nữa nếu thuật toán thất bại thì thông tin này được trao cho kẻ tấn công và tấn công được tiếp tục. Kẻ tấn công tự do kiến thiết các bản mã này theo một cách tùy ý - không cần sử dụng thuật toán mã hóa để tính toán chúng.

Bước 3: Kẻ tấn công gọi tiên tri mã hóa bằng cách cung cấp tùy chọn mật mã nào đó, nếu lược đồ hỗ trợ điều này, Tiên tri mã hóa thực hiện như sau:

a) Chạy thuật toán mã hóa, tạo ra cặp (K*,).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

c) Chọn ngẫu nhiên b Î {0,1}.

d) Nếu b = 0, đưa ra (K*,); ngược lại đưa ra là (,).

Bước 4: Kẻ tn công tiếp tục chuyển bản mã C0 cho tiên tri giải mã với điều kiện ràng buộc C0 .

Bước 5: Kẻ tấn công đưa ra Î {0,1} và dừng lại.

Ưu thế của A được định nghĩa bằng giá trị |. Với kẻ tấn công A, và cơ chế bọc khóa KEM, ưu thế của A được ký hiệu là AdvKEM(A). Nếu kẻ tn công thực hiện trong thời gian t, thực hiện nhiều nhất là q truy vấn tiên tri giải mã, khi đó A được gọi là kẻ tấn công - KEM[t,q].

Tính an toàn có nghĩa là ưu thế đối với tất cả kẻ tấn công hiệu quả là không đáng k.

B.5.1. Tính dễ uốn nhẹ

Điều này định nghĩa khái niệm tính dễ uốn nhẹ cho cơ chế bọc khóa tương ứng với khái niệm tính dễ uốn đối với mã phi đối xứng, như trong Phụ lục B.4.2.

Đối với cơ chế bọc khóa cụ thể KEM, hàm giá trị 0/1, thời gian đa thức Equiv được gọi là thuộc tính tương đương đối với KEM, nếu với xác suất trội, đầu ra của KEM.KeyGen là cặp (PK, pk) sao cho với hai bản mã bất kỳ C0, ta có:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Cơ chế bọc khóa KEM được gọi là dễ uốn nhẹ, nếu tồn tại thuộc tính tương đương Equiv và nếu nó thỏa mãn định nghĩa an toàn ở trên về tính an toàn chống lại tấn công chọn bản mã thích hợp, nhưng với thay đổi sau đây trong cuộc tấn công: khi kẻ tấn công gửi cặp bản mã C0 cho tiên tri giải mã ở bước 4, thì yêu cầu C0 được thay bởi Equiv(PK,C0,) = 0. Đối với kẻ tấn công A, lợi thế của nó trong cấu trúc này ký hiệu bằng Adv'KEM(A).

B.6. Các cơ chế bọc dữ liệu

Điều này mô tả thuộc tính an toàn cơ bn được yêu cầu đối với cơ chế bc dữ liệu.

Xét cơ chế bọc khóa DEM được định nghĩa trong Điều 8.2.

Xét kịch bản tấn công sau. Kẻ tấn công tạo ra hai bản rõ (hai xâu bộ tám) M0,M1 có độ dài bằng nhau và nhãn L*. Khóa bí mật K được tạo một cách ngẫu nhiên. Chọn ngẫu nhiên bit bMb được mã hóa bằng khóa bí mật K. Bản mã thu được  được trao cho kẻ tấn công. Tiếp đó kẻ tấn công đưa ra một loạt các truy vn cho tiên tri giải mã: mỗi truy vấn là một cặp nhãn/bản mã (L,C1) ≠ (L*,) và tiên tri giải mã tương ứng với bản gii mã của C1 với nhãn L và khóa K. Kẻ tấn công phỏng đoán giá trị  của b.

Ưu thế của kẻ tấn công được định nghĩa bng

Giả sử A là kẻ tấn công ADEM là cơ chế bọc dữ liệu. Ưu thế của A được ký hiệu là AdvDEM(A). Nếu kẻ tấn công chạy trong thời gian t, thực hiện nhiều nhất là q truy vấn tiên tri, tất cả các bản mã là đầu ra từ mã hóa tiên tri và đầu vào của giải mã tiên tri có độ dài lớn nhất là l bộ tám và các nhãn đu vào của mã hóa và giải mã tiên tri lớn nhất là l', khi đó A được gọi là kẻ tấn công -DEM[t,q,l,l'].

Tính an toàn có nghĩa là ưu thế trên không đáng kể đối bất k kẻ tấn công hiệu quả nào.

B.6.1. An toàn DEM1, DEM2 DEM3

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Xét cơ chế DEM1. Lược đồ này được tham số hóa bởi mã đối xứng SC và thuật toán xác thực thông báo MA. Có thể ch ra rằng nếu SC thỏa mãn định nghĩa an toàn tại Phụ lục B.3 và MA thỏa mãn định nghĩa an toàn tại Phụ lục B.1, khi đó DEM1 thỏa mãn định nghĩa an toàn tại Phụ lục B.6.

Cụ thể hơn, với bất k kẻ tấn công A - DEM1[t,q,l,l'] ta có:

AdvDEM1(A) ≤ AdvSC(A1) + AdvMA(A2),

ở đây,

- A1 là kẻ tấn công [t1,l''] với t1 ≈ t,

- A2 là kẻ tấn công MA[t2,q,l''] với t2t,và

- l" = l - MA.MACLen.

Tương tự, với bất kỳ tấn công A - DEM2[t,q,l,l''], ở đây cần thỏa mãn l' = DEM2.LabelLen, chúng ta có

AdvDEM2(A) ≤ AdvSC(A1) + AdvMA(A2),

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- A1 là kẻ tấn công SC[t1,l''], với t1 ≈ t,

- A2 là kẻ tấn công MA[t2,q,l'' + l'] với t2 ≈ t, và

- l'' = I - MA.MACLen.

Tương tự, với bất kỳ kẻ địch A - DEM3[t,q,l,l'], ở đây cần tha mãn l = DEM3.MsgLen + MA.MACLen, chúng ta có

AdvDEM3(A) ≤ AdvMA(A2),

đây

- A2 là kẻ tấn công MA[t2,q,DEM3.MsgLen + l'], với t2 ≈ t.

Dễ dàng xác lập các giới hạn này từ định nghĩa. Xem, chẳng hạn [14], đ chứng minh cho DEM2 với LabelLen = 0. Chứng minh cho những trường hợp khác có thể tiến hành theo những mạch suy luận tương tự như trong [14].

B.7. An toàn của HC

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Có thể chỉ ra rằng, nếu KEM thỏa mãn định nghĩa tính an toàn tại phụ lục B.5 và DEM thỏa mãn định nghĩa an toàn tại Phụ lục B.6, khi đó HC thỏa mãn định nghĩa tại Điều B.4.

Cụ thể hơn, với mọi kẻ tấn công A - HC[t,q,l,l’], ta có

AdvHC(A) ≤  2.AdvDEM(A1) + AdvKEM(A2).

Ở đây,

- A1 là kẻ tấn công [t1,q], với t1 t,

- A2 là kẻ tấn công DEM[t2,q,l,l'] với t2 ≈ t, và

Bất đẳng thức trên không tính đến khả năng KEM.KeyGen đưa ra cặp khóa “tồi" (ví dụ một trong những cặp như thế là thuật toán giải mã không vận hành như thuật toán nghịch đảo của thuật toán mã hóa) với xác suất khác không. Trong trường hợp này, đơn giản là cần bổ sung xác suất này (được coi là không đáng kể) vào bên phải của bất đẳng thức trên.

Giới hạn này dễ dàng thiết lập từ các định nghĩa. Xem, chẳng hạn trong [14], chứng minh chi tiết trong trường hợp không có nhãn. Chứng minh trong trường hợp có nhãn có thể tiến hành theo các mạch suy luận tương tự như trong [14]. Nếu KEM là dễ uốn nhẹ (xem Phụ lục B.5.1), thì dễ dàng chỉ ra rằng HC cũng dễ uốn nhẹ (xem Phụ lục B.4.2) với cùng một giới hạn an toàn như trên.

B.8. Các giả thuyết về tính khó liên quan đến các nhóm cụ thể

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Giả sử G =  là nhóm cụ thể được định nghĩa ở Điều 10.1.

B.8.1. Bài toán tính toán Diffie-Hellman.

Bài toán tính toán Diffie-Hellman (CDH) đối với G phát biểu như sau. Cho đầu vào (xg, yg) với x, y Î [0,…,m) Hãy tính xy.g, giả thiết đầu vào ngẫu nhiên, tc x y được chọn ngẫu nhiên từ tập hợp [0,…,m).

Giả thiết CDH là giả thiết rằng bài toán tính toán Diffie-Hellman là bài toán khó.

Lưu ý rằng rất khó, thậm chí, nhận dạng li giải đúng cho bài toán CDH (đây được gọi là bài toán quyết định Diffie-Hellman-xem phần tiếp theo dưới đây). Trong khi phân tích các hệ mật, các dạng thuật toán để giải bài toán CDH mà phần lớn là phát sinh một cách tự nhiên là những thuật toán cho ra một danh sách các lời giải có thể đối với trường hợp đã cho của bài toán CDH. Với thuật toán A bất k giải bài toán CDH, đầu ra của nó là một danh sách các phần tử nhóm, ta ký hiệu AdvCDHG(A) là xác suất để danh sách đó chứa lời giải đúng đối với đầu vào bài toán. Nếu A chạy trong thời gian t và tạo ra được danh sách nhiều nhất là l phần tử nhóm, thì A được gọi là kẻ tấn công CDHG(t,l).

Trong [32] đã ch ra, làm thế nào để, kẻ tấn công CDHG(t,l) với e =AdvCDHG(A) và giá trị  δ cho trước, biến đổi thành kẻ tấn công A’ - CDHG[t',1], sao cho AdvCDHG(A’) = 1-δ và sao cho t' tương đương 0(tÎ-1 log(1/δ)) cộng với thời gian thực hiện số các phép toán nhóm là:

0(Î-1l log(1) logm + (logm)2)

B.8.2. Bài toán quyết định Diffie-Hellman

Bài toán quyết định Diffie-Hellman (DDH) đối với G được phát biểu như sau:

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Phân bố R gồm bộ ba (xg, yg, zg), ở đây x, y, z được chọn ngẫu nhiên từ tập hợp [0,...,m). Giả sử XR là biến ngẫu nhiên được lấy mẫu từ phân bố này.

Phân bố D bao gồm bộ ba (xg, yg, zg), ở đây x, y được chọn ngẫu nhiên từ tập hợp [0,...,m), còn z = xy mod m. Ký hiệu XD là biến ngẫu nhiên với mẫu được lấy từ phân bố D.

Bài toán quyết định Diffie-Hellman là phân biệt hai phân bố nói trên (RD)

Với thuật toán A mà đầu ra hoặc là 0 hoặc là 1, “Ưu thế DDH của nó được định nghĩa bằng

AdvCDHG(A) = |Pr[A(XR) = 1] - Pr[A(XD) = 1]|.

Nếu A chạy trong thời gian t thì A được gọi là kẻ tấn công DDHG[t].

Giả thiết DDH là: Ưu thế này là không đáng kể đối với tất cả các thuật toán hiệu quả.

Tham khảo thêm [10, 25, 26] về DDH và các vấn đề liên quan.

B.8.3. Bài toán Gap-CDH

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Giả thiết rằng bài toán Gap-CDH là bài toán khó.

Với bất k thuật toán "tiên tri” A, AdvGapCDHG(A) được định nghĩa là xác suất để cho ra lời giải đúng cho trường hợp ngẫu nhiên của bài toán CDH, sử dụng tiên tri đối với G. Nếu A chạy trong thời gian nhiều nhất là t, và thực hiện nhiều nhất q truy vấn đối với DDH-tiên tri, thì A được gọi là kẻ tn công GapCDHG[t,q].

Tham khảo [29] để biết thêm chi tiết về giả thiết này.

B.9. Tính an toàn của ECIES-KEM

Điều này xem xét tính an toàn của cơ chế bọc khóa ECIES - KEM được định nghĩa ở Điều 10.2.

Lược đồ này được tham số hóa theo thuật ngữ của nhóm cụ thể G (xem Điều 10.1) và hàm dẫn xuất khóa KDF (xem Điều 6.2).

Có thể chứng minh lược đồ này là an toàn theo mô hình tiên tri ngẫu nhiên, nơi KDF được mô hình hóa như tiên tri ngẫu nhiên, với giả thiết là bài toán Gap-CDH là bài toán khó.

Cụ thể hơn, giả sử rằng các tham số hệ thống của ECIES-KEM được chọn sao cho SingleHashMode = 0

CheckMode + CofactorMode + OldCofactorMode > 0.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

AdVECIES-KEM (4) = O(AdvGapCDHG(A')),

ở đy,

- A' là kẻ tấn công GapCDHG(t',O(q'),t ≈ t.

Giới hạn này về cơ bản đã được chứng minh trong [14], ít nhất cũng cho trường hợp khi CheckMode = 1 và các phần tử nhóm có mã duy nhất. Các trường hợp khác có thể chứng minh bằng lập luận tương tự.

Giả sử các tham số hệ thống của ECIES - KEM được chọn sao cho SingleHashMode = 1 và

CheckMode + CofactorMode + OldCofactorMode > 0.

Trong trường hợp này ECIES - KEM sẽ không còn an toàn chống lại tấn công chọn bản mã, nhưng lại dễ uốn nhẹ (tham khảo Phụ lục B.5.1). Nếu khi đó nếu A là kẻ tấn công ECIES - KEM[t,q] và thực hiện nhiều nhất q’ truy vn tiên tri ngu nhiên, khi đó ta có

Adv'ECIES-KEM (A) = O(AdvGapCDHG(A’)),

ở đây,

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Ngoài ra, ch thỏa mãn định nghĩa yếu về an toàn, thì phép quy dẫn này sẽ không chặt chẽ như trong trường hợp ở đó SingleHashMode = 0. Đồng thời chất lượng của phép quy dẫn bị suy giảm, thậm chí còn giảm hơn với SingleHashMode = 1, khi xem xét mô hình đa bản rõ được định nghĩa một cách hình thức trong [3], ngược lại phép quy dẫn không suy giảm đáng kể khi SingleHashMode = 0.

Nếu

CheckMode + CofactorMode + OldCofactorMode = 0,

khi đó, trong cả hai ước lượng trên, thuật ngữ AdvGapCDHG(A'), cần được thay thế bởi v.AdvGapCDHG(A').

Bi vậy, sự lựa chọn tham số hệ thống này chỉ nên sử dụng khi v rất bé.

Thay vì phân tích ECIES - KEM theo thuật ngữ của giả thiết Gap-CDH trong mô hình tiên tri ngẫu nhiên, có thể phân tích nó mà không cần sử dụng các tiên tri ngẫu nhiên, nhưng với giả thiết rất cụ thể và không chuẩn tắc. Tham khảo tại [1, 2] để biết thêm chi tiết.

B.10. Tính an toàn của PSEC-KEM

Điều này xem xét tính an toàn của cơ chế bọc khóa PSEC - KEM được định nghĩa tại Điều 10.3.

Lược đồ này được tham số hóa bằng thuật ngữ của nhóm cụ thể G (xem Điều 10.1) và hàm dẫn xuất khóa KDF (Điều 6.2).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Cụ thể hơn, với giá trị cho trước của tham số hệ thng SeedLen và với A-kẻ tấn công PSEC - KEM[t,q] thực hiện nhiều nhất q' truy vấn ngẫu nhiên, ta có

AdvPSEC.KEM(A) = O(AdvCDHG(A') + (q+ q')(m-1 + 2-SeedLen)),

ở đây A' là kẻ tấn công AdvCDHG[t',O(q + q')], t' t.

Giới hạn này được chứng minh trong [41].

Đồng thời tính an toàn cũng không bị suy giảm đáng kể trong mô hình đa bản rõ được định nghĩa trong [10].

B.11. Tính an toàn của ACE-KEM

Điều này xem xét tính an toàn của cơ chế bọc khóa ACE-KEM, được định nghĩa trong 10.4.

Lược đồ này được tham số hóa bằng thuật ngữ của nhóm cụ thể G (xem Điều 10.1), hàm dẫn xuất khóa KDF(xem Điều 6.2) và hàm băm hash (Điều 6.1).

Lược đồ này có thể được chứng minh là an toàn, với gi thiết bài toán DDH là bài toán khó-cần nhấn mạnh là chứng minh v tính an toàn này không có trong mô hình tiên tri ngẫu nhiên. Thay vì điều này, một số giả thiết cụ thể và tương đối chuẩn tắc đã được đưa ra về hàm dẫn xuất khóa và hàm băm.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

AdvACE-KEM (A) = O (AdvDDHG(A1) + AdvHash(A2) + AdvKDF(A3) + q.m-1),

ở đây:

- A1, A2, A3 là những kẻ tn công, thực hiện với lượng thi gian như A

- AdvHaSh(A2) là ký hiệu xác suất mà kẻ tấn công A2, với mã cho trưc EU1*EU2* của hai phần tử độc lập, ngẫu nhiên thuộc …….., có thể tìm thấy mã EU1, và EU2 của các phần tử thuộc ……., sao cho (EU1, EU2) (EU1*, EU2*), nhưng

Hash.eval (EU1 || EU2) = Hash.eval (EU1* || EU2*).

Nếu nhóm hỗ trợ đa mã hóa, thì kẻ tấn công có thể chọn định dạng theo ý muốn, khi EU1*EU2* được tạo ra. Hơn nữa kẻ tấn công có thể chọn sử dụng các đnh dạng như nhau hoặc khác nhau trong hai lựa chọn của nó là EU1EU2. Tuy nhiên EU1* EU2* phải là các mã hóa bn vững, và EU1EU2 cũng sở hữu các tính chất đó.

Nếu CofactorMode = 1, thì kẻ tấn công có thể chọn EU1 làm mã của phần tử thuộc  mà không nhất thiết thuộc

Lưu ý rằng bài toán này là bài toán xung đột tiền ảnh thứ hai, bài toán này nói chung là bài toán khó giải hơn nhiều so với bài toán tìm một cặp bất kỳ đầu vào xung đột.

- AdvKDF(A3) ký hiệu ưu thế của A3 trong việc phân biệt giữa hai phân bố sau. Giả sử u1 là các phần tử độc lập, ngẫu nhiên trong  và giả sử EU1 là mã của u1. Giả sử R là xâu các bộ tám ngẫu nhiên độ dài KeyLen. Phân bố th nht là (R, EU1), và phân bố thứ hai là (KDF(EU1 || e'(),KeyLen),EU1).

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Trong [14] đồng thời cũng chỉ ra rằng, độ an toàn của ACE - KEM không kém hơn ECIES - KEM, tức là với bất kỳ kẻ tấn công - ACE - KEM [t,q] A tồn tại một kẻ tấn công - ECIES - KEM [t',q] A' với t’ ≈ tAdvECIES-KEM(A') ≈ AdvACE-KEM(A). Chứng minh trong [14] chỉ cho trường hợp CofactorMode = 0 và các phần tử của nhóm có mã hóa duy nhất. Chứng minh này dễ dàng thích hợp đ xử lý các trưng hợp khác, một lần nữa làm cho việc sử dụng thực tế là kiểm tra thuật toán giải mã cho mã hóa thích hợp.

Trong [14] đồng thời cũng chỉ ra rằng, nếu coi KDF như tiên tri ngẫu nhiên, thì tính an toàn của ACE - KEM có thể được chứng minh dựa trên giả thiết CDH. Tuy nhiên, phép quy dẫn này về tính an toàn cũng không hoàn toàn chặt chẽ. Chứng minh trong [14] chỉ để cho trường hợp CofactorMode = 0 và các phần tử nhóm có mã duy nhất. Chứng minh này dễ dàng chuyển sang cho các trưng hợp khác.

Như đã chỉ ra trong Điều 10.4.4, nên lưu ý đến việc thực thi ACE - KEM.Decrypt. Đặc biệt, việc thực thi ACE - KEM.Decrypt không nên để lộ nguyên nhân của sai sót trong bước g. Nếu kẻ tấn công có thể thu được thông tin từ tiên tri giải mã, việc chứng minh tính an toàn trong giả thiết DDH sẽ không còn giá trị nữa. Tuy nhiên, thậm chí nếu thông tin này tiếp cận được, thì hiện chưa biết tấn công nào vào lược đồ này, và hơn nữa lược đồ vẫn không kém an toàn hơn so với ECIES-KEM.

B.12. Bài toán ngược RSA

Điều này xem xét bài toán ngược RSA.

Giả sử RSAKeyGen là thuật toán tạo khóa RSA (xem Điều 11.1).

Bài toán ngược RSA phát biểu như sau: Cho đầu vào ne của thuật toán RSAKeyGen(), cho x Î [0 ...n) hãy tính y sao cho yex (mod n). Với thuật toán A bất kỳ và thuật toán tạo khóa cho trước RSAKeyGen, AdvRSAKeyCen(A) ký hiệu xác suất của A gii thành công bài toán ngược nói trên. Nếu A chạy trong lượng thời gian nhiều nhất t, thì được gọi kẻ tấn công RSAKeyGen[t].

Gi thiết RSA đối với RSAKeyGen là giả thiết: AdvRSAKeyGen(A) không đáng kể đối với bất k thuật toán hiệu quả A nào.

B.13. Tính an toàn của RSAES

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Trong [8] đã phân tích một cài đặt tng quát hơn, trong đó (phương án thứ yếu của) cơ chế mã hóa REM1 (được định nghĩa tại Điều 11.3.2) được áp dụng cho phép “hoán vị cửa sập một chiều” tổng quát, chứ không chỉ cho hàm RSA một chiều cụ thể. Việc phân tích được tiến hành theo mô hình tiên tri ngẫu nhiên, ở đấy hàm dẫn xuất khóa và hàm băm được mô hình như những tiên tri.

Trong [8] cũng đã chng minh rằng lược đồ thu được thỏa mãn một tính chất kỹ thuật, được gọi là “nhận thức bản rõ' (plaintext awareness), với giả thiết rằng phép hoán v cơ sở thực sự là hàm một phía. Ngoài ra, như đã chỉ ra trong [33], việc nhận biết bản rõ không suy ra được tính an toàn chống lại tấn công chọn bản mã - nó chỉ suy ra khái niệm yếu hơn về an toàn, đó là an toàn chống lại tấn công “thời gian ăn bữa trưa” (xem Phụ lục B.4). Hơn nữa, trong [33] cũng đã chứng minh rằng nói chung REM1 không tạo ra mật mã an toàn chng lại tấn công chọn bản mã, nếu phép hoán v cơ sở là tùy ý. Kết qu phủ định này không suy ra rằng RSAES là không an toàn chống lại tấn công chọn bản mã - chỉ suy ra rằng phân tích trong [8] không đạt được điều này.

Trong [33], đã chỉ ra rằng RSAES là an toàn, nếu số mũ mã hóa e là rất bé (ví dụ e = 3). Kết quả này đã được tổng quát trong [20] cho số mũ mã hóa tổng quát. Tuy nhiên có thể chỉ ra rằng phép quy dẫn của tính an toàn trong [20] là rất không chặt chẽ - thật vậy, nói chung chưa có thể nói gì về tính an toàn của RSAES đối với modulo RSA kích thước tới hàng ngàn bit. Phép quy dẫn an toàn trong [33] cho số mũ mã hóa nhỏ là tốt hơn đáng kể, nhưng vn không hoàn toàn chặt chẽ như đòi hỏi.

Như đã chỉ ra trong Điều 11.3.2.3, cần quan tâm đến vn đề thực thi RSAES. Đặc biệt là việc thực thi REM1.Decode không nên để lộ nguyên nhân sai sót tại bước thứ k; Nếu kẻ tấn công có thể thu được thông tin này từ tiên tri giải mã, thì lược đồ có thể dễ dàng bị phá, như mô tả trong [24].

B.14. Tính an toàn của RSA-KEM

Điều này xem xét tính an toàn của cơ chế bọc khóa RSA-KEM, được định nghĩa trong Điều 11.5.

Có thể chứng minh tính an toàn của lược đồ này theo mô hình tiên tri ngẫu nhiên, nơi các tham số hệ thống KDF được mô hình hóa dưới dạng tiên tri ngẫu nhiên và giả thiết bài toán ngược RSA là bài toán khó.

Cụ thể hơn, với bất kỳ thuật toán tạo khóa RSAKeyGen, sao cho đầu ra (n,e,d) luôn luôn thỏa mãn điều kiện n ≥ nBound, và với mỗi kẻ tấn công A, RSA - KEM[t,q] ta có

AdvRSA-KEM (A) ≤ AdvRSAKeyGen (A') + q/nBound.

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

- A' là kẻ tn công RSAKeyGen[t'] với t' ≈ t.

Bất đẳng thức này không tính đến khả năng của biến cố RSAKeyGen tạo ra khóa RSA “tồi" với xác suất khác không. Trong trường hợp này, đơn giản là cần bổ sung xác suất này (giả thiết là không đáng kể) vào vế phải của bất đẳng thức trên.

Xem chứng minh tại [34].

Phép quy dẫn này hoàn toàn chặt chẽ, khác với phép quy dẫn cho RSAES được thảo luận ở trên trong Phụ lục B.13. Ngoài ra, trong mô hình đa bản rõ được định nghĩa trong [3], tính an toàn của RSA-KEM nói chung không suy giảm do tính t quy dẫn ngẫu nhiên của bài toán ngược RSA. Ngược lại, tính an toàn của RSAES suy gim một cách tuyến tính theo số lượng bản rõ, vì không may là tính chất tự quy dẫn ngẫu nhiên không th khai thác được trong bối cảnh này.

Đồng thời, không giống như RSAES, không có cảm giác là RSA-KEM dễ bị tổn thương đối với các tấn công “thực thi", như tấn công trong [24].

B.15. Tính an toàn của HIME(R)

Có thể chỉ ra rng theo mô hình tiên tri ngẫu nhiên, nơi hàm Hash KDF trong HEM1 được mô hình hóa dưới dạng tiên tri ngẫu nhiên, rằng HIME(R) là an toàn chống lại tấn công chọn bản rõ phù hợp, với giả thiết là bằng tính toán để không thể phân tích số nguyên dạng mà ra bởi thuật toán HIMEKeyGen. Đ xem chi tiết, tham khảo [29, 35] - lưu ý là [35] đã chỉnh sửa một số sai sót trong [29].

 

PHỤ LỤC C

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

CÁC VÉC TƠ KIỂM TRA

Phụ lục này đưa ra các véc tơ kiểm tra cho lược đồ mã hóa được đặc tả trong phần này của tiêu chuẩn ISO/IEC 18033.

Đối với các cơ chế bọc khóa dựa trên ELGamal, nhóm “Modp” là một nhóm con của  với số nguyên tố p cho trước; nhóm “ECModp” là các đường cong elliptic trên Zp, đôi khi được gọi là P192" trong các tiêu chuẩn khác; nhóm “ECGF2" là các đường cong elliptic trên trường hữu hạn gồm có 2163 phần tử, đôi khi được gọi là "B163 trong các tiêu chuẩn khác (các phần tử trong trường được mô tả với quan hệ của đa thức cơ sở cho đa thức bất khả quy p đã cho).

C.1. Véc tơ kiểm tra cho DEM1

C.1.1. Véc tơ kiểm tra

C.1.2 Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.2.1. Véc tơ kiểm tra

C.2.2. Véc tơ kiểm tra

C.2.3. Véc tơ kim tra ECIES-KEM

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.2.5. Véc tơ kiểm tra ECIES-KEM

C.3. Véc tơ kiểm tra cho PSEC-KEM

C.3.1. Véc tơ kim tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.3.3. Véc tơ kiểm tra

C.3.4 Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.3.5. Véc tơ kiểm tra

C.4. Véc tơ kiểm tra cho ACE-KEM

C.4.1. Véc tơ kiểm tra

C.4.2. Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.4.3. Véc tơ kiểm tra ACE-KEM

C.4.4. Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.5. Véc tơ kiểm tra cho RSAES

C.5.1. Véc tơ kiểm tra

C.5.2. Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.5.3. Véc tơ kiểm tra

C.5.4. Véc tơ kim tra

C.6. Véc tơ kiểm tra cho RSA-KEM

C.6.1. Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.6.2. Véc tơ kiểm tra

C.6.3. Véc tơ kiểm tra

C.6.4. Véc tơ kiểm tra

C.7. Véc tơ kiểm tra cho HC

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.7.1. Véc tơ kiểm tra

C.8. Véc tơ kiểm tra cho HIME(R)

C.8.1. Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.8.2. Véc tơ kiểm tra

Véc tơ kiểm tra HIME (R). No.2 (1023-bit)

C.8.3. Véc tơ kiểm tra

C.8.4. Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

C.8.5. Véc tơ kiểm tra

C.8.6. Véc tơ kiểm tra

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

THƯ MỤC TÀI LIỆU THAM KHẢO

[1]. ISO/IEC 10116:1997, Information technology - Security techniques - Modes of operation for an n-bit block cipher

[2]. ISO/I EC 10118 (all parts), Information technology - Security techniques - Hash-functions

[3]. ISO/IEC 11770 (all parts), Information technology - Security techniques - Key management

[4]. ISO/IEC 15946-1:2002, Information technology - Security techniques - Cryptographic techniques based on elliptic curves - Part I: General

[5]. ISO/IEC 18031:2005, Information technology - Security techniques - Random bit generation

[6]. ISO/IEC 18032:2005, Information technology - Security techniques - Prime number generation

[7]. ISO/IEC18033-1:2005, Information technology - Security techniques - Encryption algorithms - Part I: General

[8]. [8] M. Abdalla, M. Bellare, and P. Rogaway. DHAES: an encryption scheme based on the Diffie- Hellman problem. Cryptology ePrint Archive, Report 1999/007, 1999. <http://eprint.iacr.org>

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

[10]. M. Bellare, A. Boldyreva, and S. Micali. Public-key encryption in a multi-user setting: security proofs and improvements. In Advances in Cryptology - Eurocrypt 2000, pages 259-274, 2000

[11]. M. Bellare, A. Desai, E. Jokipii, and P. Rogaway. A concrete security treatment of symmetric encryption: analysis of the DES modes of operation. In 38th Annual Symposium on Foundations of Computer Science, 1997

[12]. M. Bellare, A. Desai, D. Pointcheval, and P. Rogaway. Relations among notions of security for public-key encryption schemes. In Advances in Cryptology-Crypto '98, pages 26-45, 1998

[13]. M. Bellare, J. Kilian, and P. Rogaway. On the security of cipher block chaining. In Advances in Cryptology - Crypto '94, pages 341-358, 1994

[14]. M. Bellare and P. Rogaway. Random oracles are practical: a paradigm for designing efficient protocols. In First ACM Conference on Computer and Communications Security, pages 62-73, 1993

[15]. M. Bellare and P. Rogaway. Optimal asymmetric encryption. In Advances in Cryptology - Eurocrypt '94, pages 92-111,1994

[16]. I. Blake, G. Seroussi, and N. Smart. Elliptic Curves in Cryptography. Cambridge University Press, 1999

[17]. D. Boneh. The Decision Diffie-Hellman Problem. In Ants-lll, pages 48-63, 1998. Springer LNCS 1423

[18]. R. Canetti, Universally composable security: a new paradigm for cryptographic protocols. Cryptology ePrint Archive, Report 2000/067, 2000. <http://eprint.iacr.org>

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

[20]. R. Cramer and V. Shoup. A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack. In Advances in Cryptology-Crypto '98, pages 13-25, 1998

[21]. R. Cramer and V. Shoup. Design and analysis of practical public-key encryption schemes secure against adaptive chosen ciphertext attack. Cryptology ePrint Archive, Report 2001/108, 2001. <http://eprint.iacr.org>

[22]. D. Dolev, C. Dwork, and M. Naor. Non-malleable cryptography. In 23rd Annual ACM Symposium on Theory of Computing, pages 542-552,1991

[23]. Dolev, C. Dwork, and M. Naor. Non-malleable cryptography, 1998. Manuscript (updated, full length version of STOC paper)

[24]. Dolev, C. Dwork, and M. Naor. Non-malleable cryptography. SIAM J. Comput., 30(2):391-437, 2000

[25]. T. EIGamal. A public key cryptosystem and signature scheme based on discrete logarithms. IEEE Trans. Inform. Theory, 31:469-472,1985

[26]. Fujisaki and T.Okamoto. Secure integration of asymmetric and symmetric encryption schemes. In Advances in Cryptology-Crypto '99, pages 537-554, 1999

[27]. E. Fujisaki, T. Okamoto, D. Pointcheval, and J. Stern. RSA-OAEP is secure under the RSA assumption. In Advances in Cryptology-Crypto 2001, pages 260-274, 2001

[28]. S. Goldwasser and S. Micali. Probabilistic encryption. Journal of Computer and System Sciences, 28:270-299,1984

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

[30]. H. W. Lenstra. Finding isomorphisms between finite fields. Math. Comp., 56:329-347,1991

[31]. J. Manger. A chosen ciphertext attack on RSA Optimal Asymmetric Encryption Padding (OAEP) as standardized in PKCS # 1 v2.0. In Advances in Cryptology-Crypto 2001, pages 230-238, 2001

[32]. U. Maurer and S. Wolf. The Diffie-Hellman protocol. Designs, Codes, and Cryptography, 19:147-171, 2000

[33]. M. Naor and O. Reingold. Number-theoretic constructions of efficient pseudo-random functions. In 38th Annual Symposium on Foundations of Computer Science, 1997

[34]. M. Naor and M. Yung. Public-key cryptosystems provably secure against chosen ciphertext attacks. In 22nd Annual ACM Symposium on Theory of Computing, pages 427-437,1990

[35]. M. Nishioka, H. Satoh, and K. Sakuri. Design and analysis of fast provably secure public-key cryptosystems based on a modular squaring. In Proc. ICISC 2001, LNCS 2288, pages 81-102, 2001

[36]. T. Okamoto and D. Pointcheval. The gap-problems; a new class of problems for the security of cryptographic schemes. In Proc. 2001 International Workshop on Practice and Theory in Public Key Cryptography (PK.C 2001), 2001

[37]. C. Rackoff and D. Simon. Noninteractive zero-knowledge proof of knowledge and chosen ciphertext attack. In Advances in Cryptology-Crypto '91, pages 433-444,1991

[38]. R. L. Rivest, A. Shamir, and L. M. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM, 21(2): 120-126, 1978

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

[40]. V. Shoup. OAEP reconsidered. In Advances in Cryptology-Crypto 2001, pages 239-259, 2001

[41]. V. Shoup. A proposal for an ISO Standard for public key encryption. Cryptology ePrint Archive, Report 2001/112, 2001 <http://eprint.iacr.org>

[42]. S. Vaudenay. Security flaws induced by CBC padding - applications to SSL, IPSEC, WTLS. In Advances in Cryptology-Eurocrypt 2002, 2002

 

MỤC LỤC

Lời nói đầu

Giới thiệu

1. Phạm vi áp dụng

2. Tài liệu viện dẫn

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

4. Ký hiệu và khái niệm

5. Cơ sở toán học

6. Các biến đổi mật mã

7. Mật mã phi đối xứng  

8. Mật mã lai ghép tổng quát

9. Thiết kết các cơ chế bọc dữ liệu

10. Cơ chế bọc khóa dựa vào EIGamal

11. Mật mã phi đối xứng dựa trên RSA và các cơ chế bọc khóa

12. Mật mã dựa trên phép bình phương modulo

...

...

...

Bạn phải đăng nhập hoặc đăng ký Thành Viên TVPL Pro để sử dụng được đầy đủ các tiện ích gia tăng liên quan đến nội dung TCVN.

Mọi chi tiết xin liên hệ: ĐT: (028) 3930 3279 DĐ: 0906 22 99 66

Phụ lục B (Tham khảo) Xem xét tính an toàn

Phụ lục C (Tham khảo) Các véc tơ kiểm tra

Thư mục tài liệu tham khảo

Văn bản gốc
(Không có nội dung)
Bạn Chưa Đăng Nhập Tài khoản!

Vì chưa Đăng Nhập nên Bạn chỉ xem được Thuộc tính của Văn bản. Bạn chưa xem được Hiệu lực của Văn bản, Văn bản Liên quan, Văn bản thay thế, Văn bản gốc, Văn bản tiếng Anh,...

Nếu chưa có Tài khoản, mời Bạn Đăng ký Tài khoản tại đây
Văn bản tiếng Anh
(Không có nội dung)
LawNet .vn
Bạn Chưa Đăng Nhập Tài khoản!

Vì chưa Đăng Nhập nên Bạn chỉ xem được Thuộc tính của Văn bản. Bạn chưa xem được Hiệu lực của Văn bản, Văn bản Liên quan, Văn bản thay thế, Văn bản gốc, Văn bản tiếng Anh,...

Nếu chưa có Tài khoản, mời Bạn Đăng ký Tài khoản tại đây
LawNet .vn
Bạn Chưa Đăng Nhập Tài khoản!

Vì chưa Đăng Nhập nên Bạn chỉ xem được Thuộc tính của Văn bản. Bạn chưa xem được Hiệu lực của Văn bản, Văn bản Liên quan, Văn bản thay thế, Văn bản gốc, Văn bản tiếng Anh,...

Nếu chưa có Tài khoản, mời Bạn Đăng ký Tài khoản tại đây
LawNet .vn
Không có nội dung
  • Ban hành: {{m.News_Dates_Date}}
    Hiệu lực: {{m.News_EffectDate_Date}}
    Tình trạng: {{m.TinhTrang}}
    Cập nhật: {{m.Email_SendDate_Date}}
    Ban hành: {{m.News_Dates_Date}}
    Tình trạng: {{m.TinhTrang}}
    Cập nhật: {{m.Email_SendDate_Date}}
Bạn Chưa Đăng Nhập Tài khoản!

Vì chưa Đăng Nhập nên Bạn chỉ xem được Thuộc tính của Văn bản. Bạn chưa xem được Hiệu lực của Văn bản, Văn bản Liên quan, Văn bản thay thế, Văn bản gốc, Văn bản tiếng Anh,...

Nếu chưa có Tài khoản, mời Bạn Đăng ký Tài khoản tại đây
LawNet .vn
Không có nội dung
  • Ban hành: {{m.News_Dates_Date}}
    Hiệu lực: {{m.News_EffectDate_Date}}
    Tình trạng: {{m.TinhTrang}}
    Cập nhật: {{m.Email_SendDate_Date}}
    Ban hành: {{m.News_Dates_Date}}
    Tình trạng: {{m.TinhTrang}}
    Cập nhật: {{m.Email_SendDate_Date}}
Bạn Chưa Đăng Nhập Tài khoản!

Vì chưa Đăng Nhập nên Bạn chỉ xem được Thuộc tính của Văn bản. Bạn chưa xem được Hiệu lực của Văn bản, Văn bản Liên quan, Văn bản thay thế, Văn bản gốc, Văn bản tiếng Anh,...

Nếu chưa có Tài khoản, mời Bạn Đăng ký Tài khoản tại đây
{{VBModel.Document.News_Subject}}
LawNet .vn
Bạn Chưa Đăng Nhập Tài khoản!

Vì chưa Đăng Nhập nên Bạn chỉ xem được Thuộc tính của Văn bản. Bạn chưa xem được Hiệu lực của Văn bản, Văn bản Liên quan, Văn bản thay thế, Văn bản gốc, Văn bản tiếng Anh,...

Nếu chưa có Tài khoản, mời Bạn Đăng ký Tài khoản tại đây
Đăng nhập
Tra cứu nhanh
Từ khóa
Bài viết Liên quan Văn bản