Lược đồ chữ ký số mù phát triển dựa trên bài toán logarit rời rạc
Công nghệ thông tin
LƯỢC ĐỒ CHỮ KÝ SỐ MÙ PHÁT TRIỂN DỰA TRÊN BÀI TOÁN
LOGARIT RỜI RẠC
Nguyễn Tiền Giang1, Lưu Hồng Dũng2
Tóm tắt:
Bài báo đề xuất lược đồ chữ ký số mù phát triển từ một lược đồ chữ ký được
xây dựng dựa trên tính khó của bài toán logarit rời rạc. Ưu điểm của lược đồ
mới đề xuất ở đây là có mức độ an toàn cao hơn so với các lược đồ đã được công
bố trước đó xét về khả năng chống lại kiểu tấn công làm lộ nguồn gốc bản tin
được ký.
Từ khóa: Chữ ký số, chữ ký số mù, lược đồ chữ ký số, lược đồ chữ ký số mù.
1. ĐẶT VẤN ĐỀ
Khái niệm chữ ký số mù được đề xuất bởi D. Chaum vào năm 1983 [1], đây là
một loại chữ ký số được sử dụng để xác thực tính toàn vẹn của một bản tin điện tử
và danh tính của đối tượng ký, nhưng không cho phép xác thực danh tính của đối
tượng tạo ra bản tin được ký. Với các loại chữ ký số thông thường thì đối tượng ký
cũng chính là đối tượng tạo ra bản tin được ký, còn với chữ ký số mù thì đối tượng
ký và đối tượng tạo ra bản tin được ký là hoàn toàn khác nhau. Đây là tính chất đặc
trưng của chữ ký số mù và cũng là một tiêu chí quan trọng để đánh giá mức độ an
toàn của loại chữ ký số này.
Trong [1-5] các tác giả đã đề xuất một số lược đồ chữ ký số mù ứng dụng khi
cần bảo vệ tính riêng tư của các khách hàng trong các hệ thống thanh toán điện tử
hay vấn đề ẩn danh của cử tri trong việc tổ chức bầu cử trực tuyến. Tuy nhiên,
điểm yếu chung của các lược đồ trên là không có khả năng chống lại kiểu tấn công
làm lộ nguồn gốc của bản tin được ký, vì thế khả năng ứng dụng của các lược đồ
này trong thực tế là rất hạn chế. Nội dung bài báo tập trung phân tích điểm yếu có
thể tấn công làm lộ nguồn gốc bản tin được ký của một số lược đồ chữ ký số mù đã
được công bố, từ đó đề xuất xây dựng một lược đồ mới có độ an toàn cao hơn về
khả năng giữ bí mật nguồn gốc của bản tin được ký có thể đáp ứng các yêu cầu mà
thực tế đặt ra.
2. TẤN CÔNG LÀM LỘ NGUỒN GỐC BẢN TIN ĐƯỢC KÝ
2.1. Phương pháp tấn công lược đồ chữ ký số mù
Trong [6] đã chỉ ra phương pháp tấn công làm lộ nguồn gốc bản tin đối với một
số lược đồ chữ ký mù được phát triển từ các lược đồ chữ ký RSA, DSA, ... Ở đây,
một lần nữa sẽ minh họa cho việc sử dụng phương pháp trong [6] để tấn công lược
đồ chữ ký mù Moldovyan. Với các lược đồ khác, việc áp dụng có thể thực hiện
hoàn toàn tương tự.
2.1.1. Lược đồ chữ ký số mù Moldovyan
Đây là lược đồ chữ ký số mù được N.A. Modovyvan đề xuất trên cơ sở phát
triển từ chuẩn chữ ký số của Belarusian STB 1176.2 – 9 [7]. Các tham số hệ thống
g ∈ Z *p
bao gồm 2 số nguyên tố p, q thỏa mãn: q|(p-1) và phần tử sinh
x ∈ Zq
có bậc là q.
Người ký có khóa bí mật
và khóa công khai tương ứng là y = gx mod p
.
46
N.T.Giang, L. H.Dũng “Phát triển lược đồ chữ ký số mù dựa trên bài toán logarit rời rạc.”
Nghiên cứu khoa học công nghệ
Thủ tục hình thành chữ ký “mù” bao gồm các bước như sau:
1. Người ký A chọn ngẫu nhiên một giá trị k thỏa mãn:
và tính giá trị T
1< k < q
theo: T = gk mod p , rồi gửi T cho người yêu cầu ký B.
2. B chọn ngẫu nhiên 2 giá trị τ và ϵ rồi tính các giá trị: T'= T × yτ × gε mod p
e'= FH (T'|| M) và e = (e'−
)modq
ở đây: FH(.) là hàm b m và “||” là toán t
i 2 xâu bit. Sau ó B g i e cho A.
3. A tính giá tr
,
,
ă
ử
τ
n
ố
đ
ử
ị
:
rồ
i gửi cho B.
s = (k − x × e) mod q
4. B tính thành phần th 2 c a ch
ứ
ủ
ữ
ký:
. Ch
ữ
ký c
ủ
a A lên M là
m các
i, ch ký
s'= (s + ε)modq
cặp
(e', s').
Th
ủ
t
ụ
c ki
ểm tra ch
ữ
ký tương t
ự
như ở
l
ượ
c
đồ STB 1176.2 – 9, bao g
n sang bước 2. Ngược l
ồ
b
ước nh
1. Ki
(e', s') s
ư
sau:
ể
m tra n
ế
u:
và 0 < e'< q thì chuy
ể
ạ
ữ
1 < s'< q
ẽ bị từ chối về tính hợp lệ.
∗
s'
e'
2. Tính giá tr
3. Tính giá tr
ị
ị
:
:
T = g × y mod p
e∗ = FH (T ∗ || M )
4. Ki
ể
ừ
ấ
m tra n
ch i.
n công làm l
n công làm l
các tham s {T,e,s} và danh tính c
ó, A có th
ế
u: e∗ = e' thì (e', s') được công nh
ậ
n h
ợ
p l
ệ
. Ngược l
ạ
i,
sẽ
(e', s')
b
ị
t
ố
2.1.2. T
Để
ộ
ngu
ồ
n g
ố
c b
ả
n tin được ký
n tin được ký M, người ký A c u tr
a người yêu c u ký B (IDB) i l n ký. T
a B b ng Thu t toán 1.1 như sau:
t
ấ
ộ
ngu
ồ
n gố
c b
ả
ần l
ư
ữ
giá tr
ị
ố
ể
ủ
ầ
ở
m
ỗ
ầ
ừ
đ
xác định được danh tính c
Thuật toán 1.1:
ủ
ằ
ậ
Input: (M,e’,s’), {(ei, si,Ti, IDBi)| i=0,1,2,…N}.
Output: IDBi.
[1]. i = 0
[2]. select: (ei , si ,T , IDBi )
i
[3].
[4].
[5].
[6].
(1.1)
(1.2)
τ
← (e'−ei )modq
ε
← (s'−si ) modq
T ∗ = T × yτ × gε mod p
e∗ = FH (T ∗ || M )
i
∗
(e ≠ e')
[7]. if
then
[7.1]. i ← i +1
[7.2]. goto [2]
[8]. return IDBi
Nhận xét:
Lược đồ chữ ký mù Moldovyan sử dụng 2 giá trị τ và ϵ để tạo ra sự khác biệt
giữa các tham số e và e’ cũng như giữa s và s’. Tuy nhiên, việc tính toán 2 giá trị
này như đã chỉ ra trong (1.1) và (1.2) là rất đơn giản, nên Thuật toán 1.1 đã cho
thấy việc xác định nguồn gốc bản tin là hoàn toàn có thể thực hiện được bởi người
ký A. Như vậy, tương tự các lược đồ ký mù RSA, DSA, Nyberg-Rueppal trong [6],
47
Tạp chí Nghiên cứu KH&CN quân sự, Số Đặc san CNTT, 11 - 2018
Công nghệ thông tin
lược đồ chữ ký mù Moldovyan cũng là một lược đồ không an toàn trước kiểu tấn
công làm lộ nguồn gốc bản tin được ký.
3. XÂY DỰNG LƯỢC ĐỒ CHỮ KÝ SỐ MÙ CÓ KHẢ NĂNG CHỐNG TẤN
CÔNG LÀM LỘ NGUỒN GỐC BẢN TIN
Các thuật toán tấn công làm lộ nguồn gốc bản tin được ký trong [6] và Thuật
toán 1.1 ở mục 2.1.2 cho thấy các lược đồ chữ ký với việc làm “mù” bản tin bằng
một tham số bí mật như ở lược đồ chữ ký số RSA, hay với 2 tham số như ở các
lược đồ DSA, Nyberg – Rueppal và Moldovyan,... thì người ký vẫn có thể tìm được
nguồn gốc thực sự của bản tin được ký (danh tính của người yêu cầu ký). Mục này
đề xuất việc phát triển lược đồ chữ ký mù từ một lược đồ chữ ký cơ sở được xây
dựng trên bài toán logarit rời rạc – DLP (Discrete Logarithm Problem) [8]. Ưu
điểm của lược đồ mới đề xuất là cũng chỉ sử dụng 2 tham số bí mật như ở các lược
đồ chữ ký mù DSA, Nyberg-Rueppal hay Moldovyan,... nhưng có thể chống được
phương pháp tấn công làm lộ nguồn gốc bản tin được ký.
3.1. Xây dựng lược đồ chữ ký cơ sở
3.1.1. Lược đồ chữ ký cơ sở
Lược đồ chữ ký cơ sở ở đây được xây dựng dựa trên tính khó của bài toán
logarit rời rạc và được sử dụng làm cơ sở để phát triển lược đồ chữ ký mù ở phần
tiếp theo.
Bài toán logarit rời rạc – DLP(g,p) có thể được phát biểu như sau: Cho p là số
*
nguyên tố, g là phần tử sinh của nhóm ℤp*. Với mỗi số nguyên dương y∈ ℤp , hãy
g x mod p = y
tìm x thỏa mãn phương trình:
Ở đây, bài toán logarit rời rạc được sử dụng với vai trò hàm một chiều trong
việc hình thành khóa của các thực thể trong cùng hệ thống với bộ tham số {p,g}
dùng chung. Dễ thấy rằng, nếu x là tham số (khóa) bí mật thì việc tính tham số
(khóa) công khai y từ x và các tham số hệ thống {p,g} là một việc hoàn toàn dễ
dàng. Nhưng điều ngược lại thì rất khó thực hiện, nghĩa là từ y và {p,g} thì việc
tính được tham số bí mật x là không khả thi trong các ứng dụng thực tế. Cần chú ý
rằng, theo [9] và [10] để bài toán logarit rời rạc là khó thì p phải được chọn đủ lớn
với: |p| ≥512 bit và (p 1) cũng phải có ước là 1 số nguyên tố lớn.
Ở lược đồ cơ sở, khóa bí mật x của người ký được chọn ngẫu nhiên trong
(1, p)
y = gx mod p
khoảng
và khóa công khai tương ứng y được hình thành từ x theo:
(2.1)
Ở đây p là số nguyên tố được chọn sao cho việc giải bài toán DLP(g,p) (y) là
khó, g là phần tử sinh của nhóm ℤp* có bậc là q, với q|(p-1).
Lược đồ chữ ký cơ sở ở đây bao gồm các thuật toán hình thành tham số và
khóa, thuật toán hình thành và kiểm tra chữ ký như sau:
a) Thuật toán hình thành tham số và khóa
Thuật toán 2.1:
Input: p, q|(p-1), x – khóa bí mật của A.
Output: g, y, H(.).
g ← h( p−1) / q mod p 1< h < p
[1].
,
48
N.T.Giang, L. H.Dũng “Phát triển lược đồ chữ ký số mù dựa trên bài toán logarit rời rạc.”
Nghiên cứu khoa học công nghệ
H :
{ }
a Zt ,q < t < p
0,1 ∗
[2]. select
[3]. select: 1< x < q
y ← gx mod p
[4].
(2.2)
[5]. return {g,y,H(.)}
b) Thuật toán ký
Thuật toán 2.2:
Input: p, q, g, x, k, M – bản tin cần ký.
Output: (e,s) – chữ ký của A lên M.
k
r ← g mod p
[1].
[2].
[3].
(2.3)
(2.4)
(2.5)
e ← H
r || M
modq
s ← x−1 ×(k + e)mod q
[4]. return (e,s)
c) Thuật toán kiểm tra
Thuật toán 2.3:
Input: p, q, g, y, M, (e,s).
Output: (e,s) = true
/
.
false
u ← g × y mod p
v ← H u || M modq
−e
s
[1].
[2].
(2.6)
(2.7)
[3]. if (v = e ) then {return true
false
}
else {return
}
3.1.2 Tính đúng đắn của lược đồ cơ sở
Điều cần chứng minh ở đây là: cho p, q là 2 số nguyên tố thỏa mãn điều kiện
q < t < p
,
1 < x, k < q
0,1 ∗
}
a Zt với:
,
q | (p −1) g = h( p−1) / q mod p
,
với:
,
1 < h < p
H :
{
−1
s = x ×(k + e)mod q
x
k
r = g mod p e = H (r || M ) mod q
,
,
,
. Nếu:
y = g mod p
u = g−e × ys mod p
và
thì: v = e .
v = H
(r || M )modq
Thật vậy, từ (2.2), (2.4), (2.5) và (2.6) ta có:
u = g−e × ys mod p = g−e × gx.s mod p
(2.8)
(2.9)
= gs.x−e mod p = gk mod p
Từ (2.3) và (2.8), suy ra: u = r
Thay (2.9) vào (2.7) ta được:
(2.10)
v = H
(
u || M mod q = H (r || M )mod q
)
v = e
Từ (2.4) và (2.10), suy ra điều cần chứng minh:
3.1.3 Mức độ an toàn của lược đồ cơ sở
Mức độ an toàn của một lược đồ chữ ký số nói chung được đánh giá qua các khả
năng:
-
-
Chống tấn công làm lộ khóa mật.
Chống tấn công giả mạo chữ ký.
49
Tạp chí Nghiên cứu KH&CN quân sự, Số Đặc san CNTT, 11 - 2018
Công nghệ thông tin
Về khả năng chống tấn công làm lộ khóa mât: Từ (2.2) cho thấy mức độ an
toàn của lược đồ cơ sở phụ thuộc vào mức độ khó giải của bài toán logarit rời rạc
tương tự như với các lược đồ chữ ký DSA trong chuẩn chữ ký DSS [9] của Hoa kỳ
hay chuẩn chữ ký GOST R34.10-94 [10] của Liên bang Nga,…
Về khả năng chống tấn công giả mạo chữ ký: Từ (2.4), (2.6) và (2.7) của lược
đồ cơ sở cho thấy, một cặp (e,s) bất kỳ (không được tạo ra bởi Thuật toán ký 2.2
của lược đồ và từ khóa bí mật x của người ký) nhưng vẫn sẽ được công nhận là chữ
ký hợp lệ của đối tượng sở hữu khóa công khai y lên bản tin M nếu thỏa mãn điều
kiện:
e = H((g−e × ys modp) || M)modq
(2.11)
Như vậy, mức độ an toàn xét theo khả năng chống tấn công giả mạo chữ ký của
lược đồ cơ sở phụ thuộc vào độ khó của việc giải (2.11). Để giải (2.11), giả sử
chọn trước M và e rồi tìm s. Khi đó, việc giải (2.11) sẽ trở thành tìm s từ:
N = H(ys modp|| M)modq
(2.12)
ở đây: N là hằng số. Rõ ràng việc giải (2.12) là khó hơn (2.1) nếu các tham số p,
q và kích thước đầu ra hàm băm H(.) được chọn đủ lớn. Ngoài ra, cũng có thể chọn
trước M và s rồi tìm e, khi đó việc giải (2.11) sẽ trở thành:
e = H(ge ×N modp|| M)modq
(2.13)
trong đó: e là ẩn số cần tìm và N là hằng số. Dễ thấy rằng việc giải (2.13) còn
khó hơn giải (2.12). Như vậy, nếu không có một giải thuật hiệu quả cho (2.11) thì
việc giải (2.12) và (2.13) để tìm được 1 cặp (e,s) thỏa mãn điều kiện kiểm tra của
lược đồ cơ sở là khó hơn việc giải bài toán logarit rời rạc DLP(g,p)
.
3.2. Xây dựng lược đồ chữ ký số mù
Lược đồ chữ ký mù ở đây được phát triển từ lược đồ cơ sở ở mục 2.1. Giả sử A
là người người ký và B là người tạo ra bản tin M được ký, các tham số hệ thống và
khóa của A, B được hình thành theo Thuật toán 2.1 của lược đồ cơ sở. Khi đó,
thuật toán ký và kiểm tra chữ ký của lược đồ được chỉ ra như sau:
3.2.1 Thuật toán ký
Thuật toán 3.1:
Input: p, q, g, x, y, α, β, k , M.
Output: (e,s).
r ← gk mod p
[1].
[2].
[3].
[4].
[5].
[6].
(3.1)
(3.2)
(3.3)
(3.4)
(3.5)
(3.6)
a
α
)
.
β
r ←
(
r
× gβ × yα mod p
b
a
e ← H(r || M )modq
b
eb ←
sa ← x−1
s ←
α
−1 ×(
β
+ e)modq
k + eb mod q
+ sa mod q
×
β
α
×
[7]. return (e,s)
Chú thích:
- Các bước [1], [5] do người ký A thực hiện.
- Các bước [2], [3], [4], [6] và [7] do người có bản tin cần ký B thực hiện.
- Tham số k do A lựa chọn thỏa mãn: 1< k < q.
- Tham số α, β do B lựa chọn thỏa mãn: 1 < α, β < q.
50
N.T.Giang, L. H.Dũng “Phát triển lược đồ chữ ký số mù dựa trên bài toán logarit rời rạc.”
Nghiên cứu khoa học công nghệ
- {x,y} là cặp khóa bí mật/công khai của A.
3.2.2 Thuật toán kiểm tra
Thuật toán 3.2:
Input: p, q, g, y, M, (e,s).
Output: (e,s) = true
/
.
false
u ← g −e × ys mod p
[1].
(3.7)
(3.8)
[2].
v ← H
u || M modq
[3]. if (v = e ) then {return true
false
}
else {return
}
Chú thích:
- Nếu kết quả trả về true thì tính hợp lệ của chữ ký (e,s) được công nhận, do đó
tính toàn vẹn của bản tin cần thẩm tra M và danh tính của người ký (A) được
khẳng định.
- Nếu kết quả trả về là false thì chữ ký (e,s) là giả mạo, hoặc nội dung bản tin
M đã bị sửa đổi.
3.2.3 Tính đúng đắn của lược đồ mới đề xuất
Điều cần chứng minh ở đây là: cho p, q là 2 số nguyên tố thỏa mãn điều kiện
H :
{
0,1 ∗
}
a Zt
( )α
g = h( p−1)/ q mod p
q < t < p
,
với:
,
1 < h < p
với:
,
,
,
q | (p −1)
k
,
ra = g mod p
x
< q y = g mod p
rb = ra × g β × yα mod p
.
β
,
,
,
1 < x,k < q
1 <
α
,
β
e = H(r || M )modq
eb = α−1
−e
×
β
+ e
modq
sa = x−1 ×
k + eb
v = e
modq
,
,
b
. Nếu:
và
thì:
u || M modq
.
v = H
s =
α
×
(
β
+ sa mod q
)
u = g × ys mod p
Thật vậy, từ (3.4), (3.5), (3.6) và (3.7) ta có:
u = g−e × ys mod p = gβ
−α
.eb
α.(β
× gx. +s ) mod p
a
−α
.eb
α. β .(k+eb )
+x−1
(
= gβ
× gx.
) mod p
= gβ × g−e . × gx. × gx. .(k+e ) mod p
α
α
.
β
α
.x−1
b
b
α
.
β
α
= gβ × g−eb .
×
(
gx
gk
)
×
(
gk
)
mod p
α
.eb
× gα mod p
(3.9)
α
.
β
α
= gβ ×
(
gx
)
×
(
)
Từ (2.2), (3.1) và (3.9) ta có:
α
.
β
α
u = gβ ×
g x
×
gk
mod p
(3.10)
(3.11)
(3.12)
α
)
.
β
=
(
ra
× gβ × yα mod p
u = r
Từ (3.2) và (3.10), suy ra:
Thay (3.11) vào (3.8) ta có:
b
v = H
u || M mod q = H (rb || M ) mod q
Từ (3.2) và (3.12), suy ra: v = e . Đây là điều cần chứng minh.
3.2.4 Kh ng ch ng t n công làm l ngu n g c b n tin được ký
Khả năng chống tấn công làm lộ khóa mật và chống giả mạo chữ ký của lược
đồ mới đề xuất có thể phân tích tương tự như với lược đồ cơ sở ở c 3.1.3
Từ thuật toán ký (Thu t toán 3.1) của lược đồ cho thấy nếu tính được các tham
số (α β) và giá trị của các tham số {sa,ra,eb} được lưu trữ ở mỗi lần ký cùng với
ả
n
ă
ố
ấ
ộ
ồ
ố
ả
m
ụ
.
ậ
,
51
Tạp chí Nghiên cứu KH&CN quân sự, Số Đặc san CNTT, 11 - 2018
Công nghệ thông tin
định danh của những người yêu cầu ký: IDB = {IDBi)| i=0,1,2,…N}, thì người ký A
hoàn toàn có thể xác định được mối quan hệ giữa {M,(e,s)} với IDBi, nghĩa là có
thể xác định được nguồn gốc bản tin bằng một trong các thuật toán sau:
Thuật toán 3.3
Input: {(rai,IDBi)| i=0,1,2,…N}, M, (e,s), α, β.
Output: IDBi.
[1]. i = 0
[2]. select:
(rai , IDBi )
α
× gβ × yα.β mod p
[3].
r * ←
r
bi
ai
e∗ ← H(rbi*|| M )modq
[4].
∗
e ≠ e
[5]. if
then
[5.1]. i ← i +1;
[5.2]. goto [2];
[6]. return IDBi
Hoặc:
Thuật toán 3.4
Input: {(ebi,IDBi)| i=0,1,2,…N}, M, (e,s),
Output: IDBi.
[1]. i = 0
α, β.
[2]. select
:
(ebi , IDBi )
∗
ebi ←
α
−1 ×(e +
β
)modq
[3].
e∗ ≠ e
[4]. if
[4.1].
then
bi
bi
i
← i +1;
[4.2]. goto [2];
[5]. return IDBi
Hoặc:
Thuật toán 3.5
Input: {(sai,ki,IDBi)| i=0,1,2,…N}, M, (e,s), α, β.
Output: IDBi.
[1]. i = 0
[2]. select
:
(sai ,ki , IDBi )
−1 ×(e +
)modq
ki + ebi * mod q
∗
ebi ←
[3].
α
β
sai * ← x−1 ×
[4].
sa∗i ≠ sai
[5]. if
then
[5.1].
;
i ← i +1
[5.2]. goto [2];
[6]. return IDBi
Ho
ặc:
Thuật toán 3.6
Input: {(sai,IDBi)| i=0,1,2,…N}, M, (e,s), α, β.
52
N.T.Giang, L. H.Dũng “Phát triển lược đồ chữ ký số mù dựa trên bài toán logarit rời rạc.”
Nghiên cứu khoa học công nghệ
Output: IDBi.
[1]. i = 0
[2]. select
:
(sai , IDBi )
sai + mod q
s∗ ←
α
×
(
β
)
[3].
s∗ ≠ s
[4]. if
then
[4.1].
;
i ← i +1
[4.2]. goto [2];
[5]. return IDBi
Từ thuật toán ký (Thuật toán 3.1) của lược đồ cho thấy, chỉ có thể thiết lập mối
quan hệ giữa mỗi (sai,ebi) thuộc: {(sai,ebi)| i=0,1,2,…N} với một {M,(e,s)} thông
qua một cặp (α,β) nhờ (3.4) và (3.6) như sau:
ebi ←
α
−1 ×(
β
+ e)modq
modq
(3.13)
s =
α
×
(
β
+ sai
)
Tuy nhiên, giải (3.13) sẽ không chắc chắn nhận được cặp (α,β) mong muốn. Bởi
vì với mỗi (sai,ebi) thuộc: {(sai,ebi)| i=0,1,2,…N} sẽ luôn tìm được một cặp (α,β)
tương ứng. Do đó, việc ứng dụng các thuật toán như trên để tấn công làm lộ nguồn
gốc bản tin là không khả thi đối với lược đồ mới đề xuất.
4. KẾT LUẬN
Từ việc phân tích điểm yếu của một số lược đồ chữ ký số mù đã được công bố,
bài báo đề xuất lược đồ chữ ký số mù mới được phát triển từ lược đồ chữ ký cơ sở
xây dựng dựa trên tính khó của bài toán logarit rời rạc, lược đồ mới này có mức độ
an toàn cao hơn các lược đồ đã biết về khả năng chống tấn công làm lộ nguồn gốc
của bản tin được ký. Đây là một yếu tố quan trọng cho phép lược đồ mới đề xuất
có tính khả thi trong các ứng dụng thực tế.
.
TÀI LIỆU THAM KHẢO
[1] D. Chaum, “Blind Signature Systems”, Advances in Cryptology, Crypto’ 83,
Plenum Press, pp. 153.
[2] D. Chaum, A. Fiat, M. Naor, “Untraceable Electronic Cash”, Advances in
Cryptology,Crypto’ 88, LNCS 403, Springer Verlag, pp. 319-327.
[3] D. Chaum, “Privacy Protected Payment”, SMART CARD 2000, Elsevier
Science Publishers B.V., 1989, pp. 69-93.
[4] N. Ferguson, “Single Term Off-line Coins”, Advances in Cryptology,
Eurocrypt’93, LNCS 765, Springer Verlag, pp. 318-328.
[5] D. Chaum, B. den Boer, E. van Heyst, S. Mjolsnes, A. Steenbeek, “Efficient
Offline Electronic Checks”, Advances in Cryptology, Eurocrypt’89, LNCS
434, Springer Verlag, pp. 294-301.
[6] . Nguyễn Tiền Giang, Nguyễn Vĩnh Thái, Lưu Hồng Dũng, “Lược đồ chữ ký số
mù xây dựng trên bài toán khai căn”, Chuyên san Công nghệ thông tin và
Truyền thông (Học viện Kỹ thuật Quân sự) số 5 (10 – 2014), trang 102 - 114
[7] Nikolay A. Moldovyan, “Blind Collective Signature Protocol”, Computer
Science Journal of Moldova, vol.19, no.1(55), 2011.
[8] T. ElGamal, “ A public key cryptosystem and a signature scheme based on
discrete logarithms”, IEEE Transactions on Information Theory. 1985, Vol. IT-
31, No. 4. pp.469–472.
[9] National Institute of Standards and Technology. NIST FIPS PUB 186-3(2013).
Digital Signature Standard, U.S. Department of Commerce.
53
Tạp chí Nghiên cứu KH&CN quân sự, Số Đặc san CNTT, 11 - 2018
Công nghệ thông tin
[10] GOST
R
34.10-94. Russian Federation Standard. Information
Technology(1994). Cryptographic data Security. Produce and check procedures
of Electronic Digital Signature based on Asymmetric Cryptographic
Algorithm. Government Committee of the Russia for Standards (in Russian).
1994.
ABSTRACT
DEVELOP BLIND DIGITAL SIGNATURE SCHEMA BASED ON DISCRETE
LOGARITHM PROBLEM
This paper proposes a blind signature schema developed from a digital signature
scheme based on the difficulty of the discrete logarithm problem. The new blind
signature scheme proposed has higher safety level compared to the schemas which
have been published previously about the ability of keeping secret the source of the
signed messages.
Keywords: Digital Signature, Blind Digital Signature, Digital Signature Schema, Blind Digital Signature
Schema.
Nhận bài ngày 28 tháng 06 năm 2018
Hoàn thiện ngày 28 tháng 09 năm 2018
Chấp nhận đăng ngày 25 tháng 11 năm 2018
Địa chỉ: 1 Cục CNTT, BQP
2 Khoa CNTT, Học viện KTQS.
*
Email: luuhongdun[email protected].
54
N.T.Giang, L. H.Dũng “Phát triển lược đồ chữ ký số mù dựa trên bài toán logarit rời rạc.”
9 trang
23660
Free
Bạn đang xem tài liệu "Lược đồ chữ ký số mù phát triển dựa trên bài toán logarit rời rạc", để tải tài liệu gốc về máy hãy click vào nút Download ở trên
File đính kèm:
- luoc_do_chu_ky_so_mu_phat_trien_dua_tren_bai_toan_logarit_ro.pdf
