text:
Mật mã cổ điển- Chương 9
Chia sẻ: Son Cung | Ngày: | Loại File: DOC | Số trang:22
lượt xem 38
download
Mật mã cổ điển- Chương 9
Tham khảo tài liệu 'mật mã cổ điển- chương 9', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Mật mã cổ điển- Chương 9
- Chương 9 Các sơ đồ định danh 9.1 Giới thiệu. Các kỹ thuật mật mã cho phép nhiều bài toán dường như không thể giải được thành có thể giải được. Một bài toán như vậy là bài toán xây dựng các sơ đồ định danh mật. Trong nhiều trường hợp cần thiết phải “chứng minh” bằng phương tiện điện tử danh tính của ai đó. Dưới đây là một số trường hợp điển hình: 1. Để rút tiền từ một máy thủ quỹ tự động (ATM), ta dùng thẻ cùng với số định danh cá nhân (PIN) có 4 chữ số. 2. Để trả tiền cho các cuộc mua bán trên điện thoại dùng thẻ tín dụng, tất cả đều cần số thẻ tín dụng (và thời hạn dùng thẻ) 3. Để trả tiền cho các cú gọi điện thoại đường dài (dùng thẻ gọi) chỉ cần số điện thoại và PIN 4 chữ số. 4. Để vào mạng máy tính, cần tên hợp lệ của người sử dụng và mật khẩu tương ứng. Thực tế, các kiểu sơ đồ này thường không được thực hiện theo cách an toàn. Trong các giao thức thực hiện trên điện thoại, bất kì kẻ nghe trộm nào cũng có thể dùng thông tin định danh cho mục đích riêng của mình. Những người này cũng có thể là người nhận thông tin. Các mưu đồ xấu trên thẻ tín dụng đều hoạt động theo cách này. Thẻ ATM an toàn hơn một chút song vẫn còn những điểm yếu. Ví dụ, ai đó điều khiển đường dây liên lạc có thể nhận được tất cả các thông tin được mã hoá trên dải từ tính của thẻ cũng như thông tin về PIN. Điều này cho phép một kẻ mạo danh tiếp cận vào tài khoản nhà băng. Cuối cùng, việc chui vào mạng máy tính từ xa cũng là vấn đề nghiêm trọng do các ID và mật khẩu của người sử dụng được truyền trên mạng ở dạng không mã. Như vậy, họ là những vùng dễ bị tổn thương đối với những người điều khiển mạng máy tính. Mục đích của sơ đồ định danh là: ai đó “nghe” như Alice tư xưng danh với Bob không thể tự bịa đặt mình là Alice. Ngoài ra, chúng ta sẽ cố gắng giảm
- xác suất để chính Bob có thể thử mạo nhận là Alice sau khi cô ta tự xưng danh với anh ta. Nói cách khác, Alice muốn có khả năng chứng minh danh tính của mình bằng phương tiện điện tử mà không cần đưa ra chút thông tin nào hết về danh tính của mình. Một vài sơ đồ định danh như vậy đã được nêu ra. Một mục đích thực tế là tìm một sơ đồ đủ đơn giản để có thể thực hiện được trên thẻ thông minh, đặc biệt là thẻ tín dụng gắn thêm một chíp có khả năng thực hiện các tính toán số học. Vì thế, thẻ đòi hỏi cả khối lượng tính toán lẫn bộ nhớ nhỏ đến mức có thể. Thẻ như vậy an toàn hơn các thẻ ATM hiện tại. Tuy nhiên, điều quan trọng cần chú ý là sự an toàn “đặc biệt” liên quan đến người điều khiển đường dây thông tin. Vì nó là thẻ để chứng minh danh tính nên không cần bảo vệ chống mất thẻ. Song nó vẫn cần thiết có PIN để biết ai là chủ nhân thực sự của thẻ. Trong các phần sau sẽ mô tả một số sơ đồ định danh thông dụng nhất. Tuy nhiên, trước hết hãy xét một sơ đồ rất đơn giản dựa trên hệ thống mã khoá riêng bất kì, chẳng hạn như DES. Giao thức mô tả trên hình 9.1 được gọi là giao thức “yêu cầu và trả lời”, trong đó giả thiết rằng, Alice đang tự xưng danh với Bob cô và Bob chia nhau một khoá mật chung K, khoá này chỉ là hàm mã eK. Hình 9.1: Giao thức Yêu cầu và đáp ứng: 1.Bob chọn một yêu cầu x- là một chuỗi ngẫu nhiên 64 bit. Bob gửi x cho Alice 2.Alice tính y = eK(x) gửi nó cho Bob. 3.Bob tính: y’ = eK(x) và xác minh y’ = y. Ta sẽ minh hoạ giao thức này bằng ví dụ nhỏ dưới dây. Ví dụ 9.1 Giả sử Alice và Bob dùng hàm mã làm luỹ thừa tính modulo: eK(x) = x102379 mod 167653.
- Giả sử yêu cầu của Bob x = 77835. Khi đó Alice sẽ trả lời với y = 100369. Mọi sơ đồ định danh thực sự đều là các giao thức “Yêu cầu và đáp ứng” song các sơ đồ hiệu quả nhất lại không yêu cầu các khoá chia sẻ (dùng chung). ý tưởng này sẽ được tiếp tục trong phần còn lại của chương này. 9.2 Sơ đồ định danh Schnorr. Ta bắt đầu bằng việc mô tả sơ đồ định danh Schnorr - là một trong những sơ đồ định danh thực tiễn và đáng chú ý nhất. Sơ đồ này đòi hỏi một người được uỷ quyền có tín nhiệm mà ta ký hiệu là TA. Ta sẽ chọn các tham số cho sơ đồ như sau: 1.p là số nguyên tố lớn (tức p ≥ 2512) sao cho bài toán logarithm rời rạc trong Zp là không giải được. 2.q là ước nguyên tố lớn của p-1 (tức q ≥ 2140). * α∈ Z p có bậc q (có thể tính α như (p-1) ) đều được công khai. TA sẽ đóng một dấu xác nhận cho Alice. Khi Alice muốn nhận được một dấu xác thực từ TA, cô phải tiến hành các bước như trên hình 9.2. Vào thời điểm cuối, khi Alice muốn chứng minh danh tính của cô trước Bob, cô thực hiện giao thức như trên hình 9.3. Như đã nêu ở trên, t là một tham số mật. Mục đích của nó là ngăn kẻ mạo danh - chẳng hạn Olga - khỏi phỏng đoán yêu cầu r của Bob. Ví dụ, nếu Olga đoán đúng giá trị r, cô ta có thể chọn giá trị bất kỳ cho y và tính γ γ = α yv mod p Cô sẽ đưa cho Bob γ như trong bước 1 và sau đó khi nhận được yêu cầu r, cô sẽ cung cấp giá trị y đã chọn sẵn. Khi đó γ sẽ được Bob xác minh như trong bước 6. Hình 9.2 Cấp dấu xác nhận cho Alice.
- 1.TA thiết lập danh tính của Alice bằng cách lập giấy chứng minh thông thường chẳng hạn như xác nhận ngày sinh, hộ chiếu ... Sau đó TA thiết lập một chuỗi ID (Alice) chứa các thông tin định danh của cô ta. 2.Alice bí mật chọn một số mũ ngẫu nhiên a, 0 ≤ a ≤ q-1. Alice tính: v = α -a mod p và gửi v cho TA 3.TA tạo ra một chữ kí: s =sigTA(I,v). Dấu xác nhận C(Alice) = (ID(Alice),v,s) và đưa cho Alice Xác suất để Olga phỏng đoán đúng r là 2-t nếu r được Bob chọn ngẫu nhiên. Như vậy, t = 40 là giá trị hợp lý với hầu hết các ứng dụng, (tuy nhiên, chú ý rằng, Bob sẽ chọn r ngẫu nhiên mỗi lần Alice xưng danh với anh ta. Nếu Bob luôn dùng cùng một r thì Olga có thể mạo danh Alice bằng phương pháp mô tả ở trên). Có hai vấn đề nảy sinh trong giao thức xác minh. Trước hết, chữ kí s chứng minh tính hợp lệ của dấu xác nhân của Alice. Như vậy, Bob xác minh chữ ký của TA trên dấu xác nhận của Alice để thuyết phục chính bản thân mình rằng dấu xác nhận là xác thực. Đây là xác nhận tương tự như cách đã dùng ở chương 8. Vấn đề thứ hai của giao thức liên quan đến mã số mật a. Giá trị a có chức năng tương tự như PIN để thuyết phục Bob rằng, người thực hiện giao thức định danh quả thực là Alice. Tuy nhiên có một khác nhau quan trọng so với PIN là: trong giao thức định danh, a không bị lộ. Thay vào đó, Alice (hay chính xác hơn là thẻ thông minh của cô) chứng minh rằng, cô (thẻ) biết giá trị a trong bước 5 bằng cách tính y trong khi trả lời đòi hỏi r do Bob đưa ra. Vì a không bị lộ nên k ĩ thuật này gọi là chứng minh không tiết lộ thông tin.
- Hình 9.3. sơ đồ định danh Schnorr 1.Alice chọn một số ngẫu nhiên k, 0 ≤ k ≤ q-1 và tính: γ = α k mod p. 2.Alice gửi dấu xác nhận của mình cho C(Alice) = (ID(Alice),v,s) và γ cho Bob. 3.Bob xác minh chữ kí của TA bằng cách kiểm tra xem có thoả mãn ver(ID(Alice),v,s) = true hay không. 4.Bob chọn một số ngẫu nhiên r, 1≤ r ≤ 2t và đưa nó cho Alice. 5.Alice tính: y = k + ar mod q và đưa y cho Bob. 6.Bob xác minh xem có thoả mãn đồng dư thức sau không γ ≡ αyvr (mod p). Các đồng dư sau đây chứng minh rằng Alice có khả năng chứng minh danh tính của cô cho Bob: α yvr ≡ α k+arvr (mod p) ≡ αk+arvar (mod p) ≡ αk(mod p) ≡ γ (mod p) Như vậy sẽ chấp nhận bằng chứng về danh tính của Alice và giao thức được gọi là có tính đầy đủ. Dưới đây là một ví dụ nhỏ minh hoạ khía cạnh “thách thức và đáp ứng” của giao thức. Ví dụ 9.2 Giả sử p=88667, q = 1031, t=10. Phần tử α = 70322 có bậc q thuộc Z * . Giả sử số mã mật của Alice a = p 755. Khi đó: v = α -a( mod p) = 703221031-755mod 88667 = 13136 Giả sử Alice chọn k = 543, sau đó cô tính: γ = α k mod p = 70322543 mod 88667 = 84109
- và gửi γ cho Bob. Giả thiết Bob đưa ra yêu cầu r = 1000. Khi đó Alice tính: y = k + ar mod q = 543 + 755× 1000 mod 1031 = 851 và gửi y cho Bob. Sau đó Bob xác minh xem 84109 ≡ 70322851131361000(mod 88667) Nếu đúng, Bob sẽ tin rằng anh ta đang liên lạc với Alice. Tiếp theo ta hãy xem xét cách ai đó có thể mạo danh Alice. Olga - kẻ đang cố mạo danh Alice bằng cách làm giả dấu xác nhận: C’(Alice) = (ID(Alice), v’, s’), trong đó v’≠ v. Song s’ được giả thiết là chữ kí của (ID(Alice), v’, s’) và nó được Bob xác minh trong bước 3 của giao thức. Nếu sơ đồ chữ kí của TA là an toàn, Olga sẽ không thể làm giả chữ kí s’ (mà sau này sẽ bị Bob xác minh). Biện pháp khác sẽ cho Olga dùng dấu xác nhận đúng của Alice C(Alice) = (ID(Alice), v, s) (nhớ lại rằng, các dấu xác nhận không mật và thông tin trên dấu xác nhận bị lộ mỗi lần thực hiện giao thức định danh). Tuy nhiên Olga sẽ không thể mạo danh Alice trừ phi cô ta cũng biết giá trị a. Đó là vì “yêu cầu” r trong bước 4. ở bước 5, Olga sẽ phải tính y mà y là hàm của a. Việc tính a từ v bao hàm việc giải bài toán logarithm rời rạc là bài toán mà ta đã giả thiết là không thể giải được. Có thể chứng minh một định lí chính xác hơn về tính an toàn của giao thức như sau: Định lí 9.1. Giả sử Olga biết giá trị γ nhờ đó cô có xác suất ε ≥ 1/2t-1 để giả mạo Alice thành công trong giao thức xác minh. Khi đó Olga có thể tính a trong thời gian đa thức. Chứng minh Với một phần ε trên 2t yêu cầu r, Olga có thể tính giá trị y (sẽ được Bob chấp nhận trong bước
- 6). Vì ε ≥ 1/2t-1 nên ta có 2t/ε ≥ 2 và bởi vậy, Olga có thể tính được các giá trị y1,y2,r1 và r2 sao cho y1 ≡ y2 và γ ≡ α y v Î ≡ α y v Î (mod p) 1 1 2 2 hay α y − y ≡ v r −r (mod p) − 2 1 2 Vì v = α -a nên ta có: y1-y2 ≡ a(r1- r2) (mod q) Xét thấy 0 < | r1- r2 | 2t là nguyên tố. Vì UCLN(r1- r2, q) = 1 và Olga có thể tính: a = (y1-y2)(r1 - r2)-1mod q như mong muốn… Định lý trên chứng minh rằng, bất kỳ ai có cơ hội (không phải không đáng kể) thực hiện thành công giao thức định danh đều phải biết (hoặc có thể tính trong thời gian đa thức) số mũ mật a của Alice. Tính chất này thường được gọi là tính đúng đắn (sound). Dưới đây là ví dụ minh hoạ: Ví dụ 9.3 Giả sử ta cũng có các tham số như trong ví dụ 9.2: p = 88667, q = 1031, t= 10, α = 70322, a = 755 và v = 13136. Giả sử Olga nghiên cứu thấy rằng: α 851v1000 ≡ α454v19(mod p). khi đó có thể tính: a =(851 - 454)(1000 - 19)-1 mod 1031 = 755 và như vậy sẽ khám phá ra số mũ mật của Alice. … Chúng ta đã chứng minh rằng, giao thức có tính đúng đắn và đầy đủ. Song tính đúng đắn và đầy đủ chưa đủ để bảo đảm rằng giao thức là an toàn. Chẳng hạn, nếu Alice để lộ số mũ mật a của mình khi chứng minh danh tính của cô với Olga thì giao thức vẫn còn đúng đắn và đầy đủ. Tuy nhiên nó sẽ hoàn toàn không an toàn vì sau đó Olga có thể mạo danh Alice. Điều này thúc đẩy động cơ xem xét thông tin mật đã cho người xác minh - người cũng tham gia trong giao thức - biết (trong giao thức này, thông
- mật là a). Hy vọng là không có thông tin nào về a có thể bị gia tăng bởi Olga khi Alice chứng minh danh tính của mình cho cô ta, để sau đó Olga có thể giả dạng như Alice. Nói chung, có thể hình dung tình huống khi Alice chứng minh danh tính của mình với Olga trong một số tình huống khác nhau. Có lẽ Olga không chọn các yêu cầu của cô (tức các giá trị r) theo kiểu ngẫu nhiên. Sau vài lần thực hiện giao thức, Olga sẽ cố gắng xác định giá trị a để sau đó có thể mạo danh Alice. Nếu Olga không thể xác định được chút thông tin nào về a qua tham gia với số lần đa thức thực hiện giao thức và sau đó thực hiện một lượng tính toán đa thức thì giao thức có thể được gọi là an toàn. Hiện tại vẫn chưa chứng minh được rằng giao thưc Schnorr là an toàn, song trong phần tiếp sau, ta sẽ đưa ra một cải tiến về sơ đồ này (do Okmoto đưa ra) mà có thể chứng minh được nó là an toàn khi cho trước giả thuyết tính toán nào đó. Sơ đồ Schnorr đã được thiết kế với tốc độ nhanh và hiệu quả theo quan điểm cả về tính toán lẫn lượng thông tin cần thiết để trao đổi trong giao thức. Nó cũng được thiết kế nhằm tối thiểu hoá lượng tính toán mà Alice phải thực hiện. Đây là những đặc tính tốt vì trong thực tế, các tính toán của Alice sẽ phải tính trên các thẻ thông minh có khả năng tính toán thấp trong khi các tính toán của Bob lại trên các máy lớn. Vì mục đích thảo luận, ta hãy giả sử rằng, ID(Alice) là chuỗi 512 bit, v cũng gồm 512 bit, còn s bằng 320 bit nến DSS được dùng như sơ đồ chữ kí. Kích thước tổng cộng của dấu xác nhận C(Alice) (cần được lưu trên thẻ của Alice) là 1444 bit. Xét các tính toán của Alice: Bước 1 cần lấy mũ theo modulo, bước 5 so sánh một phép công modulo và một phép nhân modulo. Đó là phép luỹ thừa modulo mạnh về tính toán song có thể tính toán gián tiếp nếu muốn. Còn các tính toán trực tiếp được Alice thực hiện bình thường.
- Việc tính số bit cần thiết trong quá trình liên lạc để thực hiện giao thức cũng khá đơn giản. Có thể mô tả thông tin được liên lạc ở dạng đồ hình như sau C,γ Alice r Bob y Alice đưa cho Bob 1444 + 512 = 1956 bit thông tin trong bước 2: Bob đưa cho Alice 40 bit trong bước 4 và Alice đưa cho Bob 160 bit trong bước 6. Như vậy các yêu cầu về liên lạc rất mức độ. 9.3 Sơ đồ định danh của Okamoto. Trong phần này ta sẽ đưa ra một biến thể của sơ đồ Schnorr do Okamoto đưa ra. Sơ đồ cải tiến này Zp không giải được. Để thiết lập sơ đồ, TA chọn p và q như trong sơ đồ Schnorr. TA cũng chọn hai phần tử α 1 và α 2 ∈ Z * đều có bậc q. Giá trị c = logα1α 2 được giữ bí mật p kể cả đối với Alice. Ta sẽ giả thiết rằng, không ai có thể giải được (thậm chí Alice và Olga liên minh với nhau) để tính ra giá trị c. Như trước đây, TA chọn sơ đồ chữ kí số và hàm hash. Dấu xác nhận mà TA đã phát cho Alice được xây dựng như mô tả ở hình 9.4. Dưới đây là một ví dụ về sơ đồ Okamoto. Ví dụ 9.4. Cũng như ví dụ trước, ta lấy p = 88667, q = 1031, t = 10. Cho α 1 = 58902 và cho α 2 = 73611 (cả α 1 lẫn α 2 đều có bậc q trong Z p ). Giả sử a1=846, a2 * = 515, khi đó v = 13078. Giả sử Alice chọn k1 = 899, k2 = 16, khi đó γ = 14573. Nếu Bob đưa ra yêu cầu r = 489 thì Alice sẽ trả lời y1 = 131 và y2 = 287. Bob sẽ xác minh thấy: 58902131786112871378489 ≡ 14574 (mod 88667). Vì thế Bob chấp nhận bằng chứng của Alice về danh tính của cô. …
- Việc chứng minh giao thức là đầy đủ không khó (tức là Bob sẽ chấp nhận bằng chứng về danh tính của cô). Sự khác nhau giữa sơ đồ của Okamoto và Schnorr là ở chỗ, ta có thể chứng minh rằng sơ đồ Okamota an toàn miễn là bài toán logarithm rời rác không giải được. Hình 9.4: Đóng dấu xác nhận cho Alice. 1.TA thiết lập danh tính của Alice và phát chuỗi định danh ID(Alice). 2.Alice chọn bí mật hai số mũ ngẫu nhiên a1,a2 trong đó 0 ≤ a1,a2 ≤ q -1 Alice tính: v = α 1− a α 1− a mod p 1 2 và đưa cho TA. 3.TA tạo chữ kí s = sigTA(I,v). và đưa dấu xác nhận C(Alice) = (ID(Alice),v,s) cho Alice Phép chứng minh về tính an toàn rất tinh tế. Đây là ý kiến chung: Như trước đây, Alice tự định danh với Olga trong nhiều thời gian đa thức thông qua thực hiện giao thức. Khi đó ta giả thiết rằng Olga có khả năng nghiên cứu một số thông tin về các giá trị a1,a2. Nếu như vậy thì Olga và Alice kết hợp với nhau có khả năng tính được logarithm rời rạc c trong thời gian đa thức. Điều này mâu thuẫn với giả định ở trên và chứng tỏ rằng Olga chắc không thể nhận được chút thông tin nào về các số mũ của Alice thông qua việc tham gia vào giao thức. Phần đầu tiên của giao thức này tương tự với chứng minh tính đầy đủ trong sơ đồ Schnorr. Định lý 9.2. Giả sử Olga biết a giá trị γ mà nhờ nó cô có xác suất thành công ε ≥ 1/2t-1khi đánh giá Alice trong giao thức xác minh. Khi đó, Olga có thể tính các giá trị b1,b2 trong thời gian đa thức sao cho v ≡ α 1− b α 1− b mod p . 1 2 Chứng minh:
- Với phần ε trên 2t yêu cầu có thể r, Olga có thể tính các giá trị y1, y2, z1, z2, r và s với r ≠ s và: γ ≡ α 1 y α 2y vr ≡ α 1 z α 2Ζ v8(mod p). 1 2 1 2 Ta định ngh ĩ a: b1= (y1 - z1)(r - s)-t mod q và b1= (y2 - z2)(r - s)-t mod q Khi đó dễ dàng kiểm tra thấy rằng: v ≡ α 1−b1α 2 b2 (mod p ) − như mong muốn.…
- Hình 9.5. Sơ đồ định danh Okamoto. 1.Alice chọn các số ngẫu nhiên k1, k2, 0 ≤ k1, k2 ≤ q -1 và tính: γ = α 1 k α 2k (mod p). 1 2 2.Alice gửi dấu xác nhận của cô C(Alice) = (ID(Alice),v,s) và γ cho Bob. 3.Bob xác minh chữ kí của TA bằng cách kiểm tra xem có thoả mãn đồng nhất thức: verTA(ID(Alice),v,s) = true 4.Bob chọn số ngẫu nhiên r, 1≤ r ≤ 2t và đưa nó cho Alice. 5.Alice tính: y1 = k1 + a1r mod q và y2 = k2 + a2r mod q và đưa y1,y2 cho Bob. 6.Bob xác minh xem: γ ≡ α 1y α 2y vr(mod p) hay không. 1 2 Bây giờ ta tiếp tục chỉ ra cách Alice và Olga cùng tính giá trị c. Định lý 9.3. Giả sử Olga biết giá trị γ (mà với nó cô có xác suất giả danh Alice thành công là ε ≥ 1/2t-1) trong giao thức xác minh. Khi đó, Alice và Olga có thể cùng nhau tính logα α 2 trong thời gian đa thức với 1 xác suất 1-1/q. Chứng minh Theo định lý 9.2, Olga có khả năng xác định các giá trị b1 và b2 sao cho v ≡ α 1b α 2 (mod p) 1 b 2 Giả thiết rằng Alice để lộ các giá trị a1 và a2 cho Olga biết. D ĩ nhiên: v ≡ α 1a α 2a (mod p) 1 2 vì thế α 1a −b ≡ α 2 −a (mod p ) 1 1 b 2 2 giả sử rằng (a1,a2) ≠ (b1,b2), khi đó (a1-b1)-1 tồn tại và logarithm rời rạc: c = logα α 2 = (a1-b1)(b2-a2)-1 mod q 1 có thể tính được trong thời gian đa thức.
- Phần còn lại là xem xét xác suất để (a1,a2) = (b1,b2). Nếu xảy ra điều này thì giá trị c không thể tính theo mô tả ở trên. Tuy nhiên, ta sẽ chỉ ra rằng (a1,a2) = (b1,b2) sẽ chỉ xảy ra với xác suất rất bé 1/q, vì thế giao thức nhờ đó Alice và Olga tính được c sẽ hầu như chắc chắn thành công. Định ngh ĩ a: ' ' ' ' A ={ (a1' , a2 ) ∈ Ζ p × Ζ q : α1− a α 2− a ≡ α1− a α 2− a (mod p) } ' 1 2 1 2 Ngh ĩ a là A gồm tất cả các cặp được sắp có thể và chúng có thể là các số mũ mật của Alice. Xét thấy rằng: A ={a1- cθ, a2 + θ : θ∈ZP}, Trong đó c = logα α 2 . Như vậy A chứa q cặp được sắp. 1 Cặp được sắp (b1,b2) do Olga tính chắc chắn ở trong tập A. Ta sẽ chỉ ra rằng, giá trị của cặp (b1,b2) độc lập với cặp (a1,a2) chứa các số mũ mật của Alice. Vì (a1,a2) được Alice chọn đầu tiên một cách ngẫu nhiên nên xác suất để (a1,a2) = (b1,b2) là 1/q. Như vậy, (b1,b2) là “độc lập” với (a1,a2). Cặp (a1,a2) của Alice là một trong q cặp được sắp có thể trong A và không có thông tin nào về nó (là cặp “đúng”) đã bị Alice để lộ cho Olga biết khi cô xưng danh với Olga. (Một cách hình thức, Olga biết một cặp trong A chứa số mũ của Alice song cô ta không biết nó là cặp nào). Ta hãy xét thông tin được trao đổi trong giao thức định danh. Về cơ bản, trong mỗi lần thực hiện giao thức, Alice chọn γ , Olga chọn r và Alice để lộ y1 và y2 sao cho: γ = α1y α1 y vr (mod p). 1 2 Ta nhớ lại rằng, Alice tính: y1 = k1 + a1r mod q và y2 = k2 + a2r mod q trong đó γ = α1k α1k mod q 1 2 Chú ý rằng k1 và k2 không bị lộ (mà a1 và a2 cũng không).
- Bốn phần tử cụ thể (γ ,r,y1,y2) được tạo ra trong thực hiện giao thức tuỳ thuộc vào cặp (a1,a2) của Alice vì y1 và y2 được định ngh ĩ a theo a1 và a2. Tuy nhiên ta sẽ chỉ ra rằng, mỗi bộ bốn như vậy có thể được tạo ra như nhau từ cặp được sắp bất kì khác (a’1, a’2) ∈A. Để thấy rõ, giả thiết (a’1, a’2) ∈A, tức là a’1=a1 - cθ và a’2 = a2 + θ, trong đó 0 ≤ θ ≤ q -1. Có thể biểu diễn y1 và y2 như sau: y1 = k1 + a1r = k1 + (a1’+ cθ)r = (k1 + rcθ)+a1’r và y2 = k2 + a2r = k2 + (a2’ - θ)r = (k2 - rθ)+a2’r Trong đó tất cả các phép tính số học đều thực hiện trong Zp. Ngh ĩ a là bộ bốn (γ ,r,y1,y2) cũng phù hợp với cặp được sắp (a1' , a 2 ) bằng việc dùng các phép chọn ' ngẫu nhiên k1' = k1 + rcθ và k 2' = rθ để tạo ra γ . Cần chú ý rằng, các giá trị k1 và k2 không bị Alice làm lộ nên bộ (γ , r, y1, y2) không cho biết thông tin gì về cặp nào trong A được Alice dùng làm số mũ mật của cô. Đây là điều phải chứng minh.… Việc chứng minh tính an toàn này khá tinh vi và tối ưu. Chắc nó sẽ hữu dụng để lắp mới các đặc điểm của giao thức, dẫn tới bằng chứng về sự an toàn. Như vậy, Alice chọn 2 số mũ mật cao hơn là chọn một. Có tổng cộng q cặp trong A tương đương với cặp (a1,a2) của Alice. Điều này dẫn đến mâu thuẫn cơ bản là, việc hiều biết hai cặp khác nhau trong A sẽ cho một phương pháp hiệu quả tính toán logarithm rời rạc c. Alice d ĩ nhiên chỉ biết một cặp trong A; nếu ta chứng minh rằng Olga có thể giả danh Alice thì Olga có thể tính một cặp trong A khác với cặp của Alice (với xác suất cao). Như vậy Alice và Olga có thể cùng nhau tìm hai cặp trong A và tính c - cho mâu thuẫn như mong muốn. Dưới đây là một ví dụ nhỏ minh hoạ việc Alice và Olga tính toán logα α 2 : 1
- Ví dụ 9.5. Giống như trong ví dụ 9.4, ta lấy p =88667, q = 1031, t = 10 và giả sử v = 13078. Giả thiết Olga đã xác định được rằng: α 1131α 2287v489 ≡ α1890α2303v199 (mod p) Khi đó cô tính: b1 = (131 - 890)(489 - 199)-1 mod 1031 = 456 và b2 = (287 - 303)(489 - 199)-1 mod 1031 = 519 Dùng các giá trị a1 và a2 do Alice đưa cho, giá trị c tính như sau: c = (846 - 456)(519 - 515)-1 mod 1031 = 613 giá trị thực tế này là logα α 2 mà có thể xác minh 1 bằng cách tính: 58902613 mod 88667 = 73611. Cuối cùng, cần nhấn mạnh rằng, mặc dù không có chứng minh đã biết nào chứng tỏ sơ đồ Schnorr an toàn (thậm chí giả thiết rằng, bài toán logarithm rời rạc không giải được) song ta cũng không biết bất kì nhược điểm nào của sơ đồ này. Thực sự sơ đồ Schnorr được ưa thích hơn sơ đồ Okamoto do nó nhanh hơn. 9.4 Sơ đồ định danh Guillou - quisquater. Trong phần này sẽ mô tả một sơ đồ định danh khác do Guillou và Quisquater đưa ra dựa trên RSA. Việc thiết lập sơ đồ như sau: TA chọn 2 số nguyên tố p và q và lập tích n =pq. Giá trị của p và q được giữ bí mật trong khi n công khai. Giống như trước đây, p và q nên chọn đủ lớn để việc phân tích n không thể thực hiện được. Cũng như vậy, TA chọn số nguyên tố đủ lớn b giữ chức năng tham số mật như số mũ mật trong RSA. Giả thiết b là số nguyên tố dài 40 bít. Cuối cùng TA chọn sơ đồ chữ kí và hàm hash. Hình 9.6: Phát dấu xác nhận cho Alice 1.TA thiết lập định danh cho Alice và phát chuỗi định danh ID(Alice). 2.Alice chọn bí mật một số nguyên u, trong đó 0 ≤ u ≤ n -1. Alice tính:
- v = (u-1)b mod n và đưa u cho TA 3.TA tạo ra chữ kí: s = sigTA(I,v) Dấu xác nhận: C(Alice) = (ID(Alice), v, s) và đưa cho Alice Dấu xác nhận do TA phát cho Alice được xây dựng như mô tả trong hình 9.6. Khi Alice muốn chứng minh danh tính của cô cho Bob, cô thực hiện giao thức hình 9.7. Ta sẽ chứng minh rằng, sơ đồ Guillou - Quisquater là đúng đắn và đầy đủ. Tuy nhiên, sơ đồ không được chứng minh là an toàn (mặc dù giả thiết hệ thống mã RSA là an toàn). Ví dụ 9.6: Giả sử TA chọn p = 467, q = 479, vì thế n = 223693. Giả sử b = 503 và số nguyên mật của Alice u = 101576. Khi đó cô tính: v = (u-1)b mod n = (101576-1)503 mod 223693 = 24412. Hình 9.7: Sơ đồ định danh Guillou - Quisquater. 1.Alice chọn số ngẫu nhiên k, trong đó 0 ≤ k ≤ n - 1 và tính: γ = kb mod n 2.Alice đưa cho Bob dấu xác nhận của cô C(Alice) = (ID(Alice), v, s) và γ . 3.Bob xác minh chữ kí của TA bằng cách kiểm tra xem có thoả mãn hay không đồng dư thức: ver(ID(Alice), v, s) = true. 4.Bob chọn số ngẫu nhiên r, 0 ≤ r ≤ b -1 và đưa nó cho Alice. 5.Alice tính: y = k u’ mod n và đưa y cho Bob 6.Bob xác minh rằng γ ≡ vryb (mod n) Giả sử Bob trả lời bằng yêu cầu r = 375. Khi đó Alice sẽ tính
- y = ku’ mod n = 187485 × 101576375 mod 223693 = 93725 và đưa nó cho Bob. Bob xác minh thấy: 24412 ≡ 8988837593725503(mod 223693) vì thế Bob chấp nhận bằng chứng về danh tính của Alice. … Giống như trường hợp tổng quát, việc chứng minh tính đầy đủ rất đơn giản: vryb ≡ (u-b)r(kur)b(mod n) ≡ u-brkbubr (mod n) ≡ kb (mod n) ≡ γ (mod n) Bây giờ ta xét đến tính đúng đắn. Ta sẽ chứng minh sơ đồ là đúng đắn miễn là không dễ dàng tính được u từ v. Vì v được lập từ u bằng phép mã RSA nên đây là giả thiết có vẻ hợp lý. Định lí 9.4 Giảsử Olga biết giá trị γ nhờ nó cô có xác suất thành công trong việc giả danh Alice là ε > 1/b trong giao thức xác minh. Khi đó Olga có thể tính u trong thời gian đa thức. Chứng minh Với γ nào đó, Olga có thể tính giá trị y1, y2, r1, r2 với r1 ≠ r2 sao cho: γ ≡ v r y b ≡ v r y2 (mod n) 1 b 2 không mất tính tổng quát, giả sử rằng r1 > r2. Khi đó ta có: v r1 − r2 ≡ ( y2 / y1 )b (mod n) vì 0 < r1- r2
- v ≡ (y2/y1)bt(v-1)lb(mod n). Nâng cả hai vế lên luỹ thừa b-1 mod φ (n) ta có: u-1≡ (y2/y1)t(v-1)l(mod n). cuối cùng tính modulo đảo của cả hai vế của đồng dư thức này, ta nhận được công thức sau cho u: u = (y2/y1)tvl mod n Olga có thể dùng công thức này để tính u trong thời gian đa thức. … Ví dụ 9.7 Giống như ví dụ trước, giả sử rằng n = 223963, b = 503, u = 101576 và v = 89888. Giả thiết Olga nghiên cứu thấy rằng: v401103386b ≡ v37593725b (mod n) Trước tiên cô tính: t = (r1- r2)-1 mod b = (401 - 375)-1mod 503 = 445 Tiếp theo cô tính: l = ((r1- r2)t - 1)/b = ((401 - 375)445 -1)/503 = 23 Cuối cùng cô có thể nhận được giá trị u mật như sau: u = (y1/y2)tvl mod n = (103386/93725)4458988823 mod 233693 = 101576 và như vậy, số mũ mật của Alice đã bị lộ. … 9.4.1Sơ đồ định danh dựa trên tính đồng nhất. Sơ đồ định danh Guillou - Quisquater có thể chuyển thành sơ đồ định danh dựa trên tính đồng nhất. Điều này có ngh ĩ a là không cần các dấu xác nhận. Thay vào đó, TA tính giá trị của u như một hàm của chuỗi ID của Alice bằng cách dùng một hàm hash công khai h trong phạm vi Zn như chỉ ra trên hình 9.8. Giao thức định danh lúc này làm việc như mô tả trong hình 9.9. Giá trị v được tính từ chuỗi ID của Alice thông qua hàm hash công khai. Để tiến hành giao thức định danh, Alice cần biết giá trị u, giá trị này chỉ TA là có thể tính được (giả thiết hệ thống mã khoá công khai RSA là an toàn). Nếu Olga
- cố tự xưng mình là Alice cô sẽ không thành công nếu không biết u. Hình 9.8: Phát giá trị u cho Alice 1.Thiết lập danh tính của Alice và phát chuỗi định danh ID(Alice): 2.TA tính u = (h(ID(Alice)-1)a mod n và đưa u cho Alice Hình 9.9: Sơ đồ định danh dựa trên tính đồng nhất Guillou - Quisquater. 1.Alice chọn một số ngẫu nhiên k, 0 ≤ k ≤ n -1 và tính: γ = kb mod n 2.Alice đưa ID(Alice) và γ cho Bob 3.Bob tính: v = h(ID(Alice)) 4.Bob chọn số ngẫu nhiên r, 0 ≤ r ≤ b-1 và đưa nó cho Alice. 5.Alice tính: y = kur mod n và đưa y cho Bob 6.Bob xác minh xem có thoả mãn hay không điều kiện dưới đây: γ = vryb(mod n) 9.5 Chuyến sơ đồ định danh thành sơ đồ chữ kí. Có một phương pháp chuẩn để chuyển sơ đồ định danh thành sơ đồ chữ kí. ý tưởng cơ bản là thay thế người xác minh (Bob) bằng hàm hash công khai h. Trong sơ đồ chữ kí thực hiện theo phương pháp này, thông báo không bị chặt ra (băm) trước khi được kí: Quá trình băm được tích hợp thành thuật toán kí. Sau đây sẽ minh hoạ biện pháp này bằng việc chuyển sơ đồ Schnorr thành sơ đồ chữ kí (hình 9.10). Thực tế, có khả năng đưa hàm hash h vào SHS và làm giảm được modulo q. Do SHS tạo ra xâu bit có độ dài 160 và q là số nguyên tố 160 bit, nên việc giảm được modulo q chỉ cần thiết khi bản tóm lược của thông báo do SHS tạo ra vượt quá q. Thậm chí trong trường hợp này, chỉ cần trừ q khỏi kết quả.
- Trong quá trình chuyển từ sơ đồ định danh thành sơ đồ chữ kí, ta đã thay yêu cầu 40 bit bằng bản tóm lược thông báo 160 bit, 40 bit là đủ đối với một yêu cầu (challenge) vì kẻ mạo danh cần có khả năng phỏng đoán yêu cầu để tính trước câu trả lời (mà sẽ được chấp nhận). Song trong phạm vi của sơ đồ chữ kí, ta cần cac bản tóm lược thông báo có kích thước lớn hơn nhiều để ngăn chặc sự tấn công thông qua việc tìm kiếm các va chạm trong hàm hash. Hình 9.10: Sơ đồ chữ kí Schnorr. Cho p là số nguyên tố 512 bít sao cho bài toán logarithm rời rạc trong ZP là không giải được; cho q là số nguyên tố 160 bít chia hết cho p-1. Giả sử α∈ Ζ p là căn bậc q của 1modulo p. Cho h là hàm hash * trong phạm vi Ζ *p . Định ngh ĩ a P= Ζ *p .A = Ζ *p × ZP và định ngh ĩ a: K = {(p, q, α, a, v) : v ≡ α -a(mod p)} Các giá trị p, q, α và v là công khai còn a mật. Với K = (p, q, α, a, v) và với số ngẫu nhiên k mật ∈ Ζ p , ta định ngh ĩ a: * sigK(x,k) = (γ ,y) trong đó γ = α k mod p và y = k + ah(x,γ ) mod q. với x,γ ∈ Ζ p và y∈ZP, định ngh ĩ a * ver(x, γ , y) = true ⇔ γ ≡ αyvh(x,y)(mod p) 9.6 Các chú giải và tài liệu tham khảo Sơ đồ định danh Schnorr nêu trong tài liệu [Sc91], sơ đồ Okamoto được đưa ra trong [OK93] còn sơ đồ Guillou - quisquater có thể tìm thấy trong [GQ88]. Một sơ đồ khác chứng minh sự an toàn dưới giả thiết tính toán hợp lý là của Brickell và McCurley [BM92].
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Mật mã cổ điển- Chương 1
48 p | 337 | 105
-
Mật mã cổ điển- Chương 2
28 p | 273 | 76
-
Giáo trình java cơ bản - Chương 9
22 p | 155 | 76
-
Bài giảng Lập trình java cơ bản: Chương 9 - Lê Tân
39 p | 150 | 67
-
Mật mã cổ điển- Chương 3
51 p | 116 | 61
-
Mật mã cổ điển- Chương 4
33 p | 148 | 54
-
Mật mã cổ điển- Chương 5
31 p | 130 | 45
-
Mật mã cổ điển- Chương 67
63 p | 143 | 40
-
Mật mã cổ điển- Chương 6
37 p | 143 | 39
-
Mật mã cổ điển- Chương 8
14 p | 94 | 33
-
Mật mã cổ điển- Chương 7
28 p | 119 | 32
-
Mật mã cổ điển- Chương 10
20 p | 109 | 30
-
Mật mã cổ điển- Chương 41
33 p | 78 | 20
-
Mật mã cổ điển- Chương 42
17 p | 105 | 16
-
Tài liệu Kỹ thuật lập trình - Chương 8: Mật mã khóa công khai
14 p | 57 | 14
-
Bài giảng Cơ sở lập trình - Chương 9: Kiểu dữ liệu tệp (File)
32 p | 25 | 6
-
Tài liệu Kỹ thuật lập trình - Chương 7: Mật mã khóa đối xứng
83 p | 26 | 5

markdown:
# Mật mã cổ điển- Chương 9
Chia sẻ: Son Cung | Ngày: | Loại File: DOC | Số trang:22
lượt xem 38
download
![](http://image.tlvnimg.com/document/thumbnail/2009/20090510/soncunglin/80x100/mat_ma_co_dien_chuong9_8494.jpg)
##
Mật mã cổ điển- Chương 9
[Vui lòng tải xuống để xem tài liệu đầy đủ](javascript:void(0);)
Download
![](http://static.tlvnimg.com/b2013az/templates/version1/default/images/down16x21.png)
Tham khảo tài liệu 'mật mã cổ điển- chương 9', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
Bình luận(0)
[Đăng nhập để gửi bình luận!](javascript:void(0);)
##
Nội dung Text: Mật mã cổ điển- Chương 9
- Chương 9 Các sơ đồ định danh 9.1 Giới thiệu. Các kỹ thuật mật mã cho phép nhiều bài toán dường như không thể giải được thành có thể giải được. Một bài toán như vậy là bài toán xây dựng các sơ đồ định danh mật. Trong nhiều trường hợp cần thiết phải “chứng minh” bằng phương tiện điện tử danh tính của ai đó. Dưới đây là một số trường hợp điển hình: 1. Để rút tiền từ một máy thủ quỹ tự động (ATM), ta dùng thẻ cùng với số định danh cá nhân (PIN) có 4 chữ số. 2. Để trả tiền cho các cuộc mua bán trên điện thoại dùng thẻ tín dụng, tất cả đều cần số thẻ tín dụng (và thời hạn dùng thẻ) 3. Để trả tiền cho các cú gọi điện thoại đường dài (dùng thẻ gọi) chỉ cần số điện thoại và PIN 4 chữ số. 4. Để vào mạng máy tính, cần tên hợp lệ của người sử dụng và mật khẩu tương ứng. Thực tế, các kiểu sơ đồ này thường không được thực hiện theo cách an toàn. Trong các giao thức thực hiện trên điện thoại, bất kì kẻ nghe trộm nào cũng có thể dùng thông tin định danh cho mục đích riêng của mình. Những người này cũng có thể là người nhận thông tin. Các mưu đồ xấu trên thẻ tín dụng đều hoạt động theo cách này. Thẻ ATM an toàn hơn một chút song vẫn còn những điểm yếu. Ví dụ, ai đó điều khiển đường dây liên lạc có thể nhận được tất cả các thông tin được mã hoá trên dải từ tính của thẻ cũng như thông tin về PIN. Điều này cho phép một kẻ mạo danh tiếp cận vào tài khoản nhà băng. Cuối cùng, việc chui vào mạng máy tính từ xa cũng là vấn đề nghiêm trọng do các ID và mật khẩu của người sử dụng được truyền trên mạng ở dạng không mã. Như vậy, họ là những vùng dễ bị tổn thương đối với những người điều khiển mạng máy tính. Mục đích của sơ đồ định danh là: ai đó “nghe” như Alice tư xưng danh với Bob không thể tự bịa đặt mình là Alice. Ngoài ra, chúng ta sẽ cố gắng giảm
- xác suất để chính Bob có thể thử mạo nhận là Alice sau khi cô ta tự xưng danh với anh ta. Nói cách khác, Alice muốn có khả năng chứng minh danh tính của mình bằng phương tiện điện tử mà không cần đưa ra chút thông tin nào hết về danh tính của mình. Một vài sơ đồ định danh như vậy đã được nêu ra. Một mục đích thực tế là tìm một sơ đồ đủ đơn giản để có thể thực hiện được trên thẻ thông minh, đặc biệt là thẻ tín dụng gắn thêm một chíp có khả năng thực hiện các tính toán số học. Vì thế, thẻ đòi hỏi cả khối lượng tính toán lẫn bộ nhớ nhỏ đến mức có thể. Thẻ như vậy an toàn hơn các thẻ ATM hiện tại. Tuy nhiên, điều quan trọng cần chú ý là sự an toàn “đặc biệt” liên quan đến người điều khiển đường dây thông tin. Vì nó là thẻ để chứng minh danh tính nên không cần bảo vệ chống mất thẻ. Song nó vẫn cần thiết có PIN để biết ai là chủ nhân thực sự của thẻ. Trong các phần sau sẽ mô tả một số sơ đồ định danh thông dụng nhất. Tuy nhiên, trước hết hãy xét một sơ đồ rất đơn giản dựa trên hệ thống mã khoá riêng bất kì, chẳng hạn như DES. Giao thức mô tả trên hình 9.1 được gọi là giao thức “yêu cầu và trả lời”, trong đó giả thiết rằng, Alice đang tự xưng danh với Bob cô và Bob chia nhau một khoá mật chung K, khoá này chỉ là hàm mã eK. Hình 9.1: Giao thức Yêu cầu và đáp ứng: 1.Bob chọn một yêu cầu x- là một chuỗi ngẫu nhiên 64 bit. Bob gửi x cho Alice 2.Alice tính y = eK(x) gửi nó cho Bob. 3.Bob tính: y’ = eK(x) và xác minh y’ = y. Ta sẽ minh hoạ giao thức này bằng ví dụ nhỏ dưới dây. Ví dụ 9.1 Giả sử Alice và Bob dùng hàm mã làm luỹ thừa tính modulo: eK(x) = x102379 mod 167653.
- Giả sử yêu cầu của Bob x = 77835. Khi đó Alice sẽ trả lời với y = 100369. Mọi sơ đồ định danh thực sự đều là các giao thức “Yêu cầu và đáp ứng” song các sơ đồ hiệu quả nhất lại không yêu cầu các khoá chia sẻ (dùng chung). ý tưởng này sẽ được tiếp tục trong phần còn lại của chương này. 9.2 Sơ đồ định danh Schnorr. Ta bắt đầu bằng việc mô tả sơ đồ định danh Schnorr - là một trong những sơ đồ định danh thực tiễn và đáng chú ý nhất. Sơ đồ này đòi hỏi một người được uỷ quyền có tín nhiệm mà ta ký hiệu là TA. Ta sẽ chọn các tham số cho sơ đồ như sau: 1.p là số nguyên tố lớn (tức p ≥ 2512) sao cho bài toán logarithm rời rạc trong Zp là không giải được. 2.q là ước nguyên tố lớn của p-1 (tức q ≥ 2140). * α∈ Z p có bậc q (có thể tính α như (p-1) ) đều được công khai. TA sẽ đóng một dấu xác nhận cho Alice. Khi Alice muốn nhận được một dấu xác thực từ TA, cô phải tiến hành các bước như trên hình 9.2. Vào thời điểm cuối, khi Alice muốn chứng minh danh tính của cô trước Bob, cô thực hiện giao thức như trên hình 9.3. Như đã nêu ở trên, t là một tham số mật. Mục đích của nó là ngăn kẻ mạo danh - chẳng hạn Olga - khỏi phỏng đoán yêu cầu r của Bob. Ví dụ, nếu Olga đoán đúng giá trị r, cô ta có thể chọn giá trị bất kỳ cho y và tính γ γ = α yv mod p Cô sẽ đưa cho Bob γ như trong bước 1 và sau đó khi nhận được yêu cầu r, cô sẽ cung cấp giá trị y đã chọn sẵn. Khi đó γ sẽ được Bob xác minh như trong bước 6. Hình 9.2 Cấp dấu xác nhận cho Alice.
- 1.TA thiết lập danh tính của Alice bằng cách lập giấy chứng minh thông thường chẳng hạn như xác nhận ngày sinh, hộ chiếu ... Sau đó TA thiết lập một chuỗi ID (Alice) chứa các thông tin định danh của cô ta. 2.Alice bí mật chọn một số mũ ngẫu nhiên a, 0 ≤ a ≤ q-1. Alice tính: v = α -a mod p và gửi v cho TA 3.TA tạo ra một chữ kí: s =sigTA(I,v). Dấu xác nhận C(Alice) = (ID(Alice),v,s) và đưa cho Alice Xác suất để Olga phỏng đoán đúng r là 2-t nếu r được Bob chọn ngẫu nhiên. Như vậy, t = 40 là giá trị hợp lý với hầu hết các ứng dụng, (tuy nhiên, chú ý rằng, Bob sẽ chọn r ngẫu nhiên mỗi lần Alice xưng danh với anh ta. Nếu Bob luôn dùng cùng một r thì Olga có thể mạo danh Alice bằng phương pháp mô tả ở trên). Có hai vấn đề nảy sinh trong giao thức xác minh. Trước hết, chữ kí s chứng minh tính hợp lệ của dấu xác nhân của Alice. Như vậy, Bob xác minh chữ ký của TA trên dấu xác nhận của Alice để thuyết phục chính bản thân mình rằng dấu xác nhận là xác thực. Đây là xác nhận tương tự như cách đã dùng ở chương 8. Vấn đề thứ hai của giao thức liên quan đến mã số mật a. Giá trị a có chức năng tương tự như PIN để thuyết phục Bob rằng, người thực hiện giao thức định danh quả thực là Alice. Tuy nhiên có một khác nhau quan trọng so với PIN là: trong giao thức định danh, a không bị lộ. Thay vào đó, Alice (hay chính xác hơn là thẻ thông minh của cô) chứng minh rằng, cô (thẻ) biết giá trị a trong bước 5 bằng cách tính y trong khi trả lời đòi hỏi r do Bob đưa ra. Vì a không bị lộ nên k ĩ thuật này gọi là chứng minh không tiết lộ thông tin.
- Hình 9.3. sơ đồ định danh Schnorr 1.Alice chọn một số ngẫu nhiên k, 0 ≤ k ≤ q-1 và tính: γ = α k mod p. 2.Alice gửi dấu xác nhận của mình cho C(Alice) = (ID(Alice),v,s) và γ cho Bob. 3.Bob xác minh chữ kí của TA bằng cách kiểm tra xem có thoả mãn ver(ID(Alice),v,s) = true hay không. 4.Bob chọn một số ngẫu nhiên r, 1≤ r ≤ 2t và đưa nó cho Alice. 5.Alice tính: y = k + ar mod q và đưa y cho Bob. 6.Bob xác minh xem có thoả mãn đồng dư thức sau không γ ≡ αyvr (mod p). Các đồng dư sau đây chứng minh rằng Alice có khả năng chứng minh danh tính của cô cho Bob: α yvr ≡ α k+arvr (mod p) ≡ αk+arvar (mod p) ≡ αk(mod p) ≡ γ (mod p) Như vậy sẽ chấp nhận bằng chứng về danh tính của Alice và giao thức được gọi là có tính đầy đủ. Dưới đây là một ví dụ nhỏ minh hoạ khía cạnh “thách thức và đáp ứng” của giao thức. Ví dụ 9.2 Giả sử p=88667, q = 1031, t=10. Phần tử α = 70322 có bậc q thuộc Z * . Giả sử số mã mật của Alice a = p 755. Khi đó: v = α -a( mod p) = 703221031-755mod 88667 = 13136 Giả sử Alice chọn k = 543, sau đó cô tính: γ = α k mod p = 70322543 mod 88667 = 84109
- và gửi γ cho Bob. Giả thiết Bob đưa ra yêu cầu r = 1000. Khi đó Alice tính: y = k + ar mod q = 543 + 755× 1000 mod 1031 = 851 và gửi y cho Bob. Sau đó Bob xác minh xem 84109 ≡ 70322851131361000(mod 88667) Nếu đúng, Bob sẽ tin rằng anh ta đang liên lạc với Alice. Tiếp theo ta hãy xem xét cách ai đó có thể mạo danh Alice. Olga - kẻ đang cố mạo danh Alice bằng cách làm giả dấu xác nhận: C’(Alice) = (ID(Alice), v’, s’), trong đó v’≠ v. Song s’ được giả thiết là chữ kí của (ID(Alice), v’, s’) và nó được Bob xác minh trong bước 3 của giao thức. Nếu sơ đồ chữ kí của TA là an toàn, Olga sẽ không thể làm giả chữ kí s’ (mà sau này sẽ bị Bob xác minh). Biện pháp khác sẽ cho Olga dùng dấu xác nhận đúng của Alice C(Alice) = (ID(Alice), v, s) (nhớ lại rằng, các dấu xác nhận không mật và thông tin trên dấu xác nhận bị lộ mỗi lần thực hiện giao thức định danh). Tuy nhiên Olga sẽ không thể mạo danh Alice trừ phi cô ta cũng biết giá trị a. Đó là vì “yêu cầu” r trong bước 4. ở bước 5, Olga sẽ phải tính y mà y là hàm của a. Việc tính a từ v bao hàm việc giải bài toán logarithm rời rạc là bài toán mà ta đã giả thiết là không thể giải được. Có thể chứng minh một định lí chính xác hơn về tính an toàn của giao thức như sau: Định lí 9.1. Giả sử Olga biết giá trị γ nhờ đó cô có xác suất ε ≥ 1/2t-1 để giả mạo Alice thành công trong giao thức xác minh. Khi đó Olga có thể tính a trong thời gian đa thức. Chứng minh Với một phần ε trên 2t yêu cầu r, Olga có thể tính giá trị y (sẽ được Bob chấp nhận trong bước
- 6). Vì ε ≥ 1/2t-1 nên ta có 2t/ε ≥ 2 và bởi vậy, Olga có thể tính được các giá trị y1,y2,r1 và r2 sao cho y1 ≡ y2 và γ ≡ α y v Î ≡ α y v Î (mod p) 1 1 2 2 hay α y − y ≡ v r −r (mod p) − 2 1 2 Vì v = α -a nên ta có: y1-y2 ≡ a(r1- r2) (mod q) Xét thấy 0 < | r1- r2 | 2t là nguyên tố. Vì UCLN(r1- r2, q) = 1 và Olga có thể tính: a = (y1-y2)(r1 - r2)-1mod q như mong muốn… Định lý trên chứng minh rằng, bất kỳ ai có cơ hội (không phải không đáng kể) thực hiện thành công giao thức định danh đều phải biết (hoặc có thể tính trong thời gian đa thức) số mũ mật a của Alice. Tính chất này thường được gọi là tính đúng đắn (sound). Dưới đây là ví dụ minh hoạ: Ví dụ 9.3 Giả sử ta cũng có các tham số như trong ví dụ 9.2: p = 88667, q = 1031, t= 10, α = 70322, a = 755 và v = 13136. Giả sử Olga nghiên cứu thấy rằng: α 851v1000 ≡ α454v19(mod p). khi đó có thể tính: a =(851 - 454)(1000 - 19)-1 mod 1031 = 755 và như vậy sẽ khám phá ra số mũ mật của Alice. … Chúng ta đã chứng minh rằng, giao thức có tính đúng đắn và đầy đủ. Song tính đúng đắn và đầy đủ chưa đủ để bảo đảm rằng giao thức là an toàn. Chẳng hạn, nếu Alice để lộ số mũ mật a của mình khi chứng minh danh tính của cô với Olga thì giao thức vẫn còn đúng đắn và đầy đủ. Tuy nhiên nó sẽ hoàn toàn không an toàn vì sau đó Olga có thể mạo danh Alice. Điều này thúc đẩy động cơ xem xét thông tin mật đã cho người xác minh - người cũng tham gia trong giao thức - biết (trong giao thức này, thông
- mật là a). Hy vọng là không có thông tin nào về a có thể bị gia tăng bởi Olga khi Alice chứng minh danh tính của mình cho cô ta, để sau đó Olga có thể giả dạng như Alice. Nói chung, có thể hình dung tình huống khi Alice chứng minh danh tính của mình với Olga trong một số tình huống khác nhau. Có lẽ Olga không chọn các yêu cầu của cô (tức các giá trị r) theo kiểu ngẫu nhiên. Sau vài lần thực hiện giao thức, Olga sẽ cố gắng xác định giá trị a để sau đó có thể mạo danh Alice. Nếu Olga không thể xác định được chút thông tin nào về a qua tham gia với số lần đa thức thực hiện giao thức và sau đó thực hiện một lượng tính toán đa thức thì giao thức có thể được gọi là an toàn. Hiện tại vẫn chưa chứng minh được rằng giao thưc Schnorr là an toàn, song trong phần tiếp sau, ta sẽ đưa ra một cải tiến về sơ đồ này (do Okmoto đưa ra) mà có thể chứng minh được nó là an toàn khi cho trước giả thuyết tính toán nào đó. Sơ đồ Schnorr đã được thiết kế với tốc độ nhanh và hiệu quả theo quan điểm cả về tính toán lẫn lượng thông tin cần thiết để trao đổi trong giao thức. Nó cũng được thiết kế nhằm tối thiểu hoá lượng tính toán mà Alice phải thực hiện. Đây là những đặc tính tốt vì trong thực tế, các tính toán của Alice sẽ phải tính trên các thẻ thông minh có khả năng tính toán thấp trong khi các tính toán của Bob lại trên các máy lớn. Vì mục đích thảo luận, ta hãy giả sử rằng, ID(Alice) là chuỗi 512 bit, v cũng gồm 512 bit, còn s bằng 320 bit nến DSS được dùng như sơ đồ chữ kí. Kích thước tổng cộng của dấu xác nhận C(Alice) (cần được lưu trên thẻ của Alice) là 1444 bit. Xét các tính toán của Alice: Bước 1 cần lấy mũ theo modulo, bước 5 so sánh một phép công modulo và một phép nhân modulo. Đó là phép luỹ thừa modulo mạnh về tính toán song có thể tính toán gián tiếp nếu muốn. Còn các tính toán trực tiếp được Alice thực hiện bình thường.
- Việc tính số bit cần thiết trong quá trình liên lạc để thực hiện giao thức cũng khá đơn giản. Có thể mô tả thông tin được liên lạc ở dạng đồ hình như sau C,γ Alice r Bob y Alice đưa cho Bob 1444 + 512 = 1956 bit thông tin trong bước 2: Bob đưa cho Alice 40 bit trong bước 4 và Alice đưa cho Bob 160 bit trong bước 6. Như vậy các yêu cầu về liên lạc rất mức độ. 9.3 Sơ đồ định danh của Okamoto. Trong phần này ta sẽ đưa ra một biến thể của sơ đồ Schnorr do Okamoto đưa ra. Sơ đồ cải tiến này Zp không giải được. Để thiết lập sơ đồ, TA chọn p và q như trong sơ đồ Schnorr. TA cũng chọn hai phần tử α 1 và α 2 ∈ Z * đều có bậc q. Giá trị c = logα1α 2 được giữ bí mật p kể cả đối với Alice. Ta sẽ giả thiết rằng, không ai có thể giải được (thậm chí Alice và Olga liên minh với nhau) để tính ra giá trị c. Như trước đây, TA chọn sơ đồ chữ kí số và hàm hash. Dấu xác nhận mà TA đã phát cho Alice được xây dựng như mô tả ở hình 9.4. Dưới đây là một ví dụ về sơ đồ Okamoto. Ví dụ 9.4. Cũng như ví dụ trước, ta lấy p = 88667, q = 1031, t = 10. Cho α 1 = 58902 và cho α 2 = 73611 (cả α 1 lẫn α 2 đều có bậc q trong Z p ). Giả sử a1=846, a2 * = 515, khi đó v = 13078. Giả sử Alice chọn k1 = 899, k2 = 16, khi đó γ = 14573. Nếu Bob đưa ra yêu cầu r = 489 thì Alice sẽ trả lời y1 = 131 và y2 = 287. Bob sẽ xác minh thấy: 58902131786112871378489 ≡ 14574 (mod 88667). Vì thế Bob chấp nhận bằng chứng của Alice về danh tính của cô. …
- Việc chứng minh giao thức là đầy đủ không khó (tức là Bob sẽ chấp nhận bằng chứng về danh tính của cô). Sự khác nhau giữa sơ đồ của Okamoto và Schnorr là ở chỗ, ta có thể chứng minh rằng sơ đồ Okamota an toàn miễn là bài toán logarithm rời rác không giải được. Hình 9.4: Đóng dấu xác nhận cho Alice. 1.TA thiết lập danh tính của Alice và phát chuỗi định danh ID(Alice). 2.Alice chọn bí mật hai số mũ ngẫu nhiên a1,a2 trong đó 0 ≤ a1,a2 ≤ q -1 Alice tính: v = α 1− a α 1− a mod p 1 2 và đưa cho TA. 3.TA tạo chữ kí s = sigTA(I,v). và đưa dấu xác nhận C(Alice) = (ID(Alice),v,s) cho Alice Phép chứng minh về tính an toàn rất tinh tế. Đây là ý kiến chung: Như trước đây, Alice tự định danh với Olga trong nhiều thời gian đa thức thông qua thực hiện giao thức. Khi đó ta giả thiết rằng Olga có khả năng nghiên cứu một số thông tin về các giá trị a1,a2. Nếu như vậy thì Olga và Alice kết hợp với nhau có khả năng tính được logarithm rời rạc c trong thời gian đa thức. Điều này mâu thuẫn với giả định ở trên và chứng tỏ rằng Olga chắc không thể nhận được chút thông tin nào về các số mũ của Alice thông qua việc tham gia vào giao thức. Phần đầu tiên của giao thức này tương tự với chứng minh tính đầy đủ trong sơ đồ Schnorr. Định lý 9.2. Giả sử Olga biết a giá trị γ mà nhờ nó cô có xác suất thành công ε ≥ 1/2t-1khi đánh giá Alice trong giao thức xác minh. Khi đó, Olga có thể tính các giá trị b1,b2 trong thời gian đa thức sao cho v ≡ α 1− b α 1− b mod p . 1 2 Chứng minh:
- Với phần ε trên 2t yêu cầu có thể r, Olga có thể tính các giá trị y1, y2, z1, z2, r và s với r ≠ s và: γ ≡ α 1 y α 2y vr ≡ α 1 z α 2Ζ v8(mod p). 1 2 1 2 Ta định ngh ĩ a: b1= (y1 - z1)(r - s)-t mod q và b1= (y2 - z2)(r - s)-t mod q Khi đó dễ dàng kiểm tra thấy rằng: v ≡ α 1−b1α 2 b2 (mod p ) − như mong muốn.…
- Hình 9.5. Sơ đồ định danh Okamoto. 1.Alice chọn các số ngẫu nhiên k1, k2, 0 ≤ k1, k2 ≤ q -1 và tính: γ = α 1 k α 2k (mod p). 1 2 2.Alice gửi dấu xác nhận của cô C(Alice) = (ID(Alice),v,s) và γ cho Bob. 3.Bob xác minh chữ kí của TA bằng cách kiểm tra xem có thoả mãn đồng nhất thức: verTA(ID(Alice),v,s) = true 4.Bob chọn số ngẫu nhiên r, 1≤ r ≤ 2t và đưa nó cho Alice. 5.Alice tính: y1 = k1 + a1r mod q và y2 = k2 + a2r mod q và đưa y1,y2 cho Bob. 6.Bob xác minh xem: γ ≡ α 1y α 2y vr(mod p) hay không. 1 2 Bây giờ ta tiếp tục chỉ ra cách Alice và Olga cùng tính giá trị c. Định lý 9.3. Giả sử Olga biết giá trị γ (mà với nó cô có xác suất giả danh Alice thành công là ε ≥ 1/2t-1) trong giao thức xác minh. Khi đó, Alice và Olga có thể cùng nhau tính logα α 2 trong thời gian đa thức với 1 xác suất 1-1/q. Chứng minh Theo định lý 9.2, Olga có khả năng xác định các giá trị b1 và b2 sao cho v ≡ α 1b α 2 (mod p) 1 b 2 Giả thiết rằng Alice để lộ các giá trị a1 và a2 cho Olga biết. D ĩ nhiên: v ≡ α 1a α 2a (mod p) 1 2 vì thế α 1a −b ≡ α 2 −a (mod p ) 1 1 b 2 2 giả sử rằng (a1,a2) ≠ (b1,b2), khi đó (a1-b1)-1 tồn tại và logarithm rời rạc: c = logα α 2 = (a1-b1)(b2-a2)-1 mod q 1 có thể tính được trong thời gian đa thức.
- Phần còn lại là xem xét xác suất để (a1,a2) = (b1,b2). Nếu xảy ra điều này thì giá trị c không thể tính theo mô tả ở trên. Tuy nhiên, ta sẽ chỉ ra rằng (a1,a2) = (b1,b2) sẽ chỉ xảy ra với xác suất rất bé 1/q, vì thế giao thức nhờ đó Alice và Olga tính được c sẽ hầu như chắc chắn thành công. Định ngh ĩ a: ' ' ' ' A ={ (a1' , a2 ) ∈ Ζ p × Ζ q : α1− a α 2− a ≡ α1− a α 2− a (mod p) } ' 1 2 1 2 Ngh ĩ a là A gồm tất cả các cặp được sắp có thể và chúng có thể là các số mũ mật của Alice. Xét thấy rằng: A ={a1- cθ, a2 + θ : θ∈ZP}, Trong đó c = logα α 2 . Như vậy A chứa q cặp được sắp. 1 Cặp được sắp (b1,b2) do Olga tính chắc chắn ở trong tập A. Ta sẽ chỉ ra rằng, giá trị của cặp (b1,b2) độc lập với cặp (a1,a2) chứa các số mũ mật của Alice. Vì (a1,a2) được Alice chọn đầu tiên một cách ngẫu nhiên nên xác suất để (a1,a2) = (b1,b2) là 1/q. Như vậy, (b1,b2) là “độc lập” với (a1,a2). Cặp (a1,a2) của Alice là một trong q cặp được sắp có thể trong A và không có thông tin nào về nó (là cặp “đúng”) đã bị Alice để lộ cho Olga biết khi cô xưng danh với Olga. (Một cách hình thức, Olga biết một cặp trong A chứa số mũ của Alice song cô ta không biết nó là cặp nào). Ta hãy xét thông tin được trao đổi trong giao thức định danh. Về cơ bản, trong mỗi lần thực hiện giao thức, Alice chọn γ , Olga chọn r và Alice để lộ y1 và y2 sao cho: γ = α1y α1 y vr (mod p). 1 2 Ta nhớ lại rằng, Alice tính: y1 = k1 + a1r mod q và y2 = k2 + a2r mod q trong đó γ = α1k α1k mod q 1 2 Chú ý rằng k1 và k2 không bị lộ (mà a1 và a2 cũng không).
- Bốn phần tử cụ thể (γ ,r,y1,y2) được tạo ra trong thực hiện giao thức tuỳ thuộc vào cặp (a1,a2) của Alice vì y1 và y2 được định ngh ĩ a theo a1 và a2. Tuy nhiên ta sẽ chỉ ra rằng, mỗi bộ bốn như vậy có thể được tạo ra như nhau từ cặp được sắp bất kì khác (a’1, a’2) ∈A. Để thấy rõ, giả thiết (a’1, a’2) ∈A, tức là a’1=a1 - cθ và a’2 = a2 + θ, trong đó 0 ≤ θ ≤ q -1. Có thể biểu diễn y1 và y2 như sau: y1 = k1 + a1r = k1 + (a1’+ cθ)r = (k1 + rcθ)+a1’r và y2 = k2 + a2r = k2 + (a2’ - θ)r = (k2 - rθ)+a2’r Trong đó tất cả các phép tính số học đều thực hiện trong Zp. Ngh ĩ a là bộ bốn (γ ,r,y1,y2) cũng phù hợp với cặp được sắp (a1' , a 2 ) bằng việc dùng các phép chọn ' ngẫu nhiên k1' = k1 + rcθ và k 2' = rθ để tạo ra γ . Cần chú ý rằng, các giá trị k1 và k2 không bị Alice làm lộ nên bộ (γ , r, y1, y2) không cho biết thông tin gì về cặp nào trong A được Alice dùng làm số mũ mật của cô. Đây là điều phải chứng minh.… Việc chứng minh tính an toàn này khá tinh vi và tối ưu. Chắc nó sẽ hữu dụng để lắp mới các đặc điểm của giao thức, dẫn tới bằng chứng về sự an toàn. Như vậy, Alice chọn 2 số mũ mật cao hơn là chọn một. Có tổng cộng q cặp trong A tương đương với cặp (a1,a2) của Alice. Điều này dẫn đến mâu thuẫn cơ bản là, việc hiều biết hai cặp khác nhau trong A sẽ cho một phương pháp hiệu quả tính toán logarithm rời rạc c. Alice d ĩ nhiên chỉ biết một cặp trong A; nếu ta chứng minh rằng Olga có thể giả danh Alice thì Olga có thể tính một cặp trong A khác với cặp của Alice (với xác suất cao). Như vậy Alice và Olga có thể cùng nhau tìm hai cặp trong A và tính c - cho mâu thuẫn như mong muốn. Dưới đây là một ví dụ nhỏ minh hoạ việc Alice và Olga tính toán logα α 2 : 1
- Ví dụ 9.5. Giống như trong ví dụ 9.4, ta lấy p =88667, q = 1031, t = 10 và giả sử v = 13078. Giả thiết Olga đã xác định được rằng: α 1131α 2287v489 ≡ α1890α2303v199 (mod p) Khi đó cô tính: b1 = (131 - 890)(489 - 199)-1 mod 1031 = 456 và b2 = (287 - 303)(489 - 199)-1 mod 1031 = 519 Dùng các giá trị a1 và a2 do Alice đưa cho, giá trị c tính như sau: c = (846 - 456)(519 - 515)-1 mod 1031 = 613 giá trị thực tế này là logα α 2 mà có thể xác minh 1 bằng cách tính: 58902613 mod 88667 = 73611. Cuối cùng, cần nhấn mạnh rằng, mặc dù không có chứng minh đã biết nào chứng tỏ sơ đồ Schnorr an toàn (thậm chí giả thiết rằng, bài toán logarithm rời rạc không giải được) song ta cũng không biết bất kì nhược điểm nào của sơ đồ này. Thực sự sơ đồ Schnorr được ưa thích hơn sơ đồ Okamoto do nó nhanh hơn. 9.4 Sơ đồ định danh Guillou - quisquater. Trong phần này sẽ mô tả một sơ đồ định danh khác do Guillou và Quisquater đưa ra dựa trên RSA. Việc thiết lập sơ đồ như sau: TA chọn 2 số nguyên tố p và q và lập tích n =pq. Giá trị của p và q được giữ bí mật trong khi n công khai. Giống như trước đây, p và q nên chọn đủ lớn để việc phân tích n không thể thực hiện được. Cũng như vậy, TA chọn số nguyên tố đủ lớn b giữ chức năng tham số mật như số mũ mật trong RSA. Giả thiết b là số nguyên tố dài 40 bít. Cuối cùng TA chọn sơ đồ chữ kí và hàm hash. Hình 9.6: Phát dấu xác nhận cho Alice 1.TA thiết lập định danh cho Alice và phát chuỗi định danh ID(Alice). 2.Alice chọn bí mật một số nguyên u, trong đó 0 ≤ u ≤ n -1. Alice tính:
- v = (u-1)b mod n và đưa u cho TA 3.TA tạo ra chữ kí: s = sigTA(I,v) Dấu xác nhận: C(Alice) = (ID(Alice), v, s) và đưa cho Alice Dấu xác nhận do TA phát cho Alice được xây dựng như mô tả trong hình 9.6. Khi Alice muốn chứng minh danh tính của cô cho Bob, cô thực hiện giao thức hình 9.7. Ta sẽ chứng minh rằng, sơ đồ Guillou - Quisquater là đúng đắn và đầy đủ. Tuy nhiên, sơ đồ không được chứng minh là an toàn (mặc dù giả thiết hệ thống mã RSA là an toàn). Ví dụ 9.6: Giả sử TA chọn p = 467, q = 479, vì thế n = 223693. Giả sử b = 503 và số nguyên mật của Alice u = 101576. Khi đó cô tính: v = (u-1)b mod n = (101576-1)503 mod 223693 = 24412. Hình 9.7: Sơ đồ định danh Guillou - Quisquater. 1.Alice chọn số ngẫu nhiên k, trong đó 0 ≤ k ≤ n - 1 và tính: γ = kb mod n 2.Alice đưa cho Bob dấu xác nhận của cô C(Alice) = (ID(Alice), v, s) và γ . 3.Bob xác minh chữ kí của TA bằng cách kiểm tra xem có thoả mãn hay không đồng dư thức: ver(ID(Alice), v, s) = true. 4.Bob chọn số ngẫu nhiên r, 0 ≤ r ≤ b -1 và đưa nó cho Alice. 5.Alice tính: y = k u’ mod n và đưa y cho Bob 6.Bob xác minh rằng γ ≡ vryb (mod n) Giả sử Bob trả lời bằng yêu cầu r = 375. Khi đó Alice sẽ tính
- y = ku’ mod n = 187485 × 101576375 mod 223693 = 93725 và đưa nó cho Bob. Bob xác minh thấy: 24412 ≡ 8988837593725503(mod 223693) vì thế Bob chấp nhận bằng chứng về danh tính của Alice. … Giống như trường hợp tổng quát, việc chứng minh tính đầy đủ rất đơn giản: vryb ≡ (u-b)r(kur)b(mod n) ≡ u-brkbubr (mod n) ≡ kb (mod n) ≡ γ (mod n) Bây giờ ta xét đến tính đúng đắn. Ta sẽ chứng minh sơ đồ là đúng đắn miễn là không dễ dàng tính được u từ v. Vì v được lập từ u bằng phép mã RSA nên đây là giả thiết có vẻ hợp lý. Định lí 9.4 Giảsử Olga biết giá trị γ nhờ nó cô có xác suất thành công trong việc giả danh Alice là ε > 1/b trong giao thức xác minh. Khi đó Olga có thể tính u trong thời gian đa thức. Chứng minh Với γ nào đó, Olga có thể tính giá trị y1, y2, r1, r2 với r1 ≠ r2 sao cho: γ ≡ v r y b ≡ v r y2 (mod n) 1 b 2 không mất tính tổng quát, giả sử rằng r1 > r2. Khi đó ta có: v r1 − r2 ≡ ( y2 / y1 )b (mod n) vì 0 < r1- r2
- v ≡ (y2/y1)bt(v-1)lb(mod n). Nâng cả hai vế lên luỹ thừa b-1 mod φ (n) ta có: u-1≡ (y2/y1)t(v-1)l(mod n). cuối cùng tính modulo đảo của cả hai vế của đồng dư thức này, ta nhận được công thức sau cho u: u = (y2/y1)tvl mod n Olga có thể dùng công thức này để tính u trong thời gian đa thức. … Ví dụ 9.7 Giống như ví dụ trước, giả sử rằng n = 223963, b = 503, u = 101576 và v = 89888. Giả thiết Olga nghiên cứu thấy rằng: v401103386b ≡ v37593725b (mod n) Trước tiên cô tính: t = (r1- r2)-1 mod b = (401 - 375)-1mod 503 = 445 Tiếp theo cô tính: l = ((r1- r2)t - 1)/b = ((401 - 375)445 -1)/503 = 23 Cuối cùng cô có thể nhận được giá trị u mật như sau: u = (y1/y2)tvl mod n = (103386/93725)4458988823 mod 233693 = 101576 và như vậy, số mũ mật của Alice đã bị lộ. … 9.4.1Sơ đồ định danh dựa trên tính đồng nhất. Sơ đồ định danh Guillou - Quisquater có thể chuyển thành sơ đồ định danh dựa trên tính đồng nhất. Điều này có ngh ĩ a là không cần các dấu xác nhận. Thay vào đó, TA tính giá trị của u như một hàm của chuỗi ID của Alice bằng cách dùng một hàm hash công khai h trong phạm vi Zn như chỉ ra trên hình 9.8. Giao thức định danh lúc này làm việc như mô tả trong hình 9.9. Giá trị v được tính từ chuỗi ID của Alice thông qua hàm hash công khai. Để tiến hành giao thức định danh, Alice cần biết giá trị u, giá trị này chỉ TA là có thể tính được (giả thiết hệ thống mã khoá công khai RSA là an toàn). Nếu Olga
- cố tự xưng mình là Alice cô sẽ không thành công nếu không biết u. Hình 9.8: Phát giá trị u cho Alice 1.Thiết lập danh tính của Alice và phát chuỗi định danh ID(Alice): 2.TA tính u = (h(ID(Alice)-1)a mod n và đưa u cho Alice Hình 9.9: Sơ đồ định danh dựa trên tính đồng nhất Guillou - Quisquater. 1.Alice chọn một số ngẫu nhiên k, 0 ≤ k ≤ n -1 và tính: γ = kb mod n 2.Alice đưa ID(Alice) và γ cho Bob 3.Bob tính: v = h(ID(Alice)) 4.Bob chọn số ngẫu nhiên r, 0 ≤ r ≤ b-1 và đưa nó cho Alice. 5.Alice tính: y = kur mod n và đưa y cho Bob 6.Bob xác minh xem có thoả mãn hay không điều kiện dưới đây: γ = vryb(mod n) 9.5 Chuyến sơ đồ định danh thành sơ đồ chữ kí. Có một phương pháp chuẩn để chuyển sơ đồ định danh thành sơ đồ chữ kí. ý tưởng cơ bản là thay thế người xác minh (Bob) bằng hàm hash công khai h. Trong sơ đồ chữ kí thực hiện theo phương pháp này, thông báo không bị chặt ra (băm) trước khi được kí: Quá trình băm được tích hợp thành thuật toán kí. Sau đây sẽ minh hoạ biện pháp này bằng việc chuyển sơ đồ Schnorr thành sơ đồ chữ kí (hình 9.10). Thực tế, có khả năng đưa hàm hash h vào SHS và làm giảm được modulo q. Do SHS tạo ra xâu bit có độ dài 160 và q là số nguyên tố 160 bit, nên việc giảm được modulo q chỉ cần thiết khi bản tóm lược của thông báo do SHS tạo ra vượt quá q. Thậm chí trong trường hợp này, chỉ cần trừ q khỏi kết quả.
- Trong quá trình chuyển từ sơ đồ định danh thành sơ đồ chữ kí, ta đã thay yêu cầu 40 bit bằng bản tóm lược thông báo 160 bit, 40 bit là đủ đối với một yêu cầu (challenge) vì kẻ mạo danh cần có khả năng phỏng đoán yêu cầu để tính trước câu trả lời (mà sẽ được chấp nhận). Song trong phạm vi của sơ đồ chữ kí, ta cần cac bản tóm lược thông báo có kích thước lớn hơn nhiều để ngăn chặc sự tấn công thông qua việc tìm kiếm các va chạm trong hàm hash. Hình 9.10: Sơ đồ chữ kí Schnorr. Cho p là số nguyên tố 512 bít sao cho bài toán logarithm rời rạc trong ZP là không giải được; cho q là số nguyên tố 160 bít chia hết cho p-1. Giả sử α∈ Ζ p là căn bậc q của 1modulo p. Cho h là hàm hash * trong phạm vi Ζ *p . Định ngh ĩ a P= Ζ *p .A = Ζ *p × ZP và định ngh ĩ a: K = {(p, q, α, a, v) : v ≡ α -a(mod p)} Các giá trị p, q, α và v là công khai còn a mật. Với K = (p, q, α, a, v) và với số ngẫu nhiên k mật ∈ Ζ p , ta định ngh ĩ a: * sigK(x,k) = (γ ,y) trong đó γ = α k mod p và y = k + ah(x,γ ) mod q. với x,γ ∈ Ζ p và y∈ZP, định ngh ĩ a * ver(x, γ , y) = true ⇔ γ ≡ αyvh(x,y)(mod p) 9.6 Các chú giải và tài liệu tham khảo Sơ đồ định danh Schnorr nêu trong tài liệu [Sc91], sơ đồ Okamoto được đưa ra trong [OK93] còn sơ đồ Guillou - quisquater có thể tìm thấy trong [GQ88]. Một sơ đồ khác chứng minh sự an toàn dưới giả thiết tính toán hợp lý là của Brickell và McCurley [BM92].
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Mật mã cổ điển- Chương 1
48 p |
337 |
105
-
Mật mã cổ điển- Chương 2
28 p |
273 |
76
-
Giáo trình java cơ bản - Chương 9
22 p |
155 |
76
-
Bài giảng Lập trình java cơ bản: Chương 9 - Lê Tân
39 p |
150 |
67
-
Mật mã cổ điển- Chương 3
51 p |
116 |
61
-
Mật mã cổ điển- Chương 4
33 p |
148 |
54
-
Mật mã cổ điển- Chương 5
31 p |
130 |
45
-
Mật mã cổ điển- Chương 67
63 p |
143 |
40
-
Mật mã cổ điển- Chương 6
37 p |
143 |
39
-
Mật mã cổ điển- Chương 8
14 p |
94 |
33
-
Mật mã cổ điển- Chương 7
28 p |
119 |
32
-
Mật mã cổ điển- Chương 10
20 p |
109 |
30
-
Mật mã cổ điển- Chương 41
33 p |
78 |
20
-
Mật mã cổ điển- Chương 42
17 p |
105 |
16
-
Tài liệu Kỹ thuật lập trình - Chương 8: Mật mã khóa công khai
14 p |
57 |
14
-
Bài giảng Cơ sở lập trình - Chương 9: Kiểu dữ liệu tệp (File)
32 p |
25 |
6
-
Tài liệu Kỹ thuật lập trình - Chương 7: Mật mã khóa đối xứng
83 p |
26 |
5

WARC-Type: response

Content-Type: application/http; msgtype=response

WARC-Identified-Payload-Type: application/xhtml+xml

Server: Apache/2.2.31 (CentOS)

Connection: close

Pragma: no-cache

Cache-Control: no-store, no-cache, must-revalidate, post-check=0, pre-check=0

Set-Cookie: TLDEVNamespace=lefa7ipfd8lhi4tr6qsm2e3rb1; path=/; domain=.tailieu.vn; HttpOnly

Vary: Accept-Encoding

Content-Type: text/html; charset=UTF-8


text:
Quyết định 60/2004/QĐ-BCN
Chia sẻ: Trương Kiện | Ngày: | Loại File: PDF | Số trang:8
lượt xem 3
download
Quyết định 60/2004/QĐ-BCN
Quyết định 60/2004/QĐ-BCN về việc phê duyệt Đề án "Phát triển công nghiệp hoá chất đến năm 2010 phục vụ công nghiệp hoá, hiện đại hoá nông nghiệp, nông thôn" do Bộ Công nghiệp ban hành
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Quyết định 60/2004/QĐ-BCN
- BỘ CÔNG NGHIỆP CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM ******** Độc lập - Tự do - Hạnh phúc ******** Số: 60/2004/QĐ-BCN Hà Nội, ngày 15 tháng 7 năm 2004 QUYẾT ĐỊNH CỦA BỘ TRƯỞNG BỘ CÔNG NGHIỆP SỐ 60/2004/QĐ-BCN NGÀY 15 THÁNG 7 NĂM 2004 VỀ VIỆC PHÊ DUYỆT ĐỀ ÁN "PHÁT TRIỂN CÔNG NGHIỆP HÓA CHẤT ĐẾN NĂM 2010 PHỤC VỤ CÔNG NGHIỆP HÓA, HIỆN ĐẠI HÓA NÔNG NGHIỆP, NÔNG THÔN" BỘ TRƯỞNG BỘ CÔNG NGHIỆP Căn cứ Nghị định số 55/2003/NĐ-CP ngày 28 tháng 5 năm 2003 của Chính phủ quy định chức năng, nhiệm vụ, quyền hạn và cơ cấu tổ chức của Bộ Công nghiệp; Căn cứ Chỉ thị số 24/2003/CT-TTg ngày 08 tháng 10 năm 2003 của Thủ tướng Chính phủ về phát triển công nghiệp chế biến nông, lâm, thủy sản; Căn cứ Chương trình hành động của ngành công nghiệp thực hiện Nghị quyết Hội nghị lần thứ 5 Ban Chấp hành Trung ương Đảng khóa IX; Theo đề nghị của Vụ trưởng Vụ Cơ khí, Luyện kim và hóa chất và Cục trưởng Cục Công nghiệp địa phương. QUYẾT ĐỊNH Điều 1. Phê duyệt Đề án "phát triển công nghiệp hóa chất đến năm 2010 phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn" với những nội dung chính sau đây: 1. Quan điểm và mục tiêu phát triển a. Đáp ứng yêu cầu phát triển nền kinh tế quốc dân, trước hết là sản xuất nông nghiệp, công nghiệp hóa nông thôn, tác động thúc đẩy các ngành công nghiệp khác phát triển và nâng cao đời sống của nhân dân; b. Phát triển có chọn lọc và song song cả hai lĩnh vực tư liệu sản xuất và tư liệu tiêu dùng trên cơ sở đi thẳng vào công nghệ hiện đại, tiết kiệm nguyên vật liệu, bảo vệ môi trường; c. Huy động tổng hợp và sử dụng có hiệu quả những lợi thế của các nguồn lực trong nước và tranh thủ mọi nguồn lực ngoài nước để phát triển ngành công nghiệp hóa chất, tập trung vào những sản phẩm trọng điểm phục vụ nông nghiệp, nông thôn, như các loại phân bón, thuốc bảo vệ thực vật, hóa chất cơ bản, sản phẩm chế biến từ các hợp chất thiên nhiên, cao su, chất dẻo v.v...;
- d. Ưu tiên thu hút đầu tư nước ngoài vào lĩnh vực hóa chất cơ bản, hóa dầu, phân đạm, bột màu, sản xuất các loại pin cao cấp, khí trơ công nghiệp... Tự đầu tư dưới nhiều hình thức như liên doanh trong nước, nhập thiết bị, nhập kỹ thuật v.v...; đ. Kết hợp một cách chặt chẽ và có hiệu quả giữa phát triển công nghiệp hóa chất phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn với sự nghiệp bảo vệ tổ quốc, củng cố an ninh, quốc phòng. 2. Định hướng phát triển 2.1. Phát triển các sản phẩm hóa chất phục vụ nông nghiệp a. Phân bón: Phát triển phân bón là một trong những nhiệm vụ trung tâm của ngành công nghiệp hóa chất đến năm 2010 và những năm tiếp theo để phục vụ nông nghiệp. Tăng nhanh về số lượng, đa dạng hóa chủng loại, nhất là các loại hữu cơ, phân vi sinh và nâng cao chất lượng phân bón cho phù hợp với từng loại cây trồng và điều kiện thổ nhưỡng khác nhau. Đến năm 2005 và 2010, ngành phân bón tập trung đẩy mạnh công tác đầu tư xây dựng mới hai nhà máy sản xuất phân đạm, một nhà máy từ khí tại Cà Mau công suất 800.000 tấn urê/năm; một nhà máy tại miền Bắc từ than cám công suất 560.000 tấn urê/năm; một nhà máy sản xuất phân diamino phosphat (DAP) tại Đình Vũ, Hải Phòng công suất 330.000 tấn/năm, một nhà máy sản xuất amon sunphat (SA) công suất 100.000 tấn/năm. Tiếp tục đầu tư mở rộng năng lực sản xuất phân supe lân tại Lâm Thao lên 850.000 tấn/năm; tại Long Thành lên 200.000 tấn/năm, các nhà máy sản xuất phân lân nung chảy lên 500.000 tấn/năm. Về phân bón hỗn hợp NPK: Không đầu tư mới các cơ sở sản xuất phân NPK theo công nghệ hiện có. Đầu tư chiều sâu, phát triển sản xuất theo hướng nâng cao chất lượng sản phẩm như hàm lượng dinh dưỡng, độ bền cơ học, khả năng chống hút ẩm, giảm thiểu ô nhiễm môi trường đồng thời tăng cường tự động hóa, cơ giới hóa khâu sản xuất. Về phân bón hữu cơ, vi sinh: Căn cứ nhu cầu và nguồn nguyên liệu tại chỗ để xác định quy mô, sản phẩm thích hợp. Ngoài các loại phân bón truyền thống nêu trên, tiến hành việc nghiên cứu phát triển một số loại phân bón mới như phân bón lá, phân tan chậm. Nghiên cứu sản xuất các chủng loại vi sinh vật hữu ích để chủ động trong việc sản xuất phân hữu cơ sinh học và phân vi sinh. Nguyên liệu cho sản xuất phân bón: Đầu tư đồng bộ các dự án khai thác các loại quặng như apatit, secpentin nhằm bảo đảm nguyên liệu cho sản xuất phân bón. b. Hóa chất bảo vệ thực vật: Sử dụng các hoạt chất mới có hoạt tính cao, ít độc hại cho người và động vật máu nóng và ít gây ô nhiễm môi trường. Áp dụng công nghệ gia công tiên tiến, sử dụng dung môi nước thay thế các dung môi hữu cơ để có các sản phẩm an
- toàn và thân thiện với môi trường như sản phẩm huyền phù đậm đặc, vi nhũ tương, hạt phân tán trong nước. Nghiên cứu sử dụng các hoạt chất vi sinh và các hoạt chất chiết xuất từ thảo mộc. Ưu tiên các dự án đầu tư sản xuất các hoạt chất để giảm tỷ lệ nhập khẩu. Đầu tư mới trang thiết bị sản xuất hóa chất bảo vệ thực vật, tự động hóa khâu đóng gói. Đẩy mạnh sản xuất các chế phẩm sát trùng gia dụng, các loại kích thích tố, thuốc trừ nấm, trừ cỏ. c. Sản phẩm hóa chất thực phẩm, bảo quản sau thu hoạch và phục vụ nuôi trồng thủy sản: Từ nay đến 2010 đầu tư chiều sâu, đổi mới công nghệ thiết bị và tiếp tục đầu tư để nâng cao năng lực sản xuất và chất lượng các loại hóa chất dùng trong lĩnh vực thực phẩm, hóa chất phục vụ bảo quản sau thu hoạch và nuôi trồng thủy sản nhằm thay thế hàng nhập khẩu. Lựa chọn và tiếp cận công nghệ mới tiên tiến có tính cạnh tranh cao để đầu tư mới. Phát triển sản xuất một số chế phẩm như zeolit và diatomit phục vụ nuôi trồng thủy sản. Nghiên cứu sản xuất một số tác nhân làm lạnh như nitơ lỏng và CO2 rắn từ khí đồng hành của các dự án chế biến dầu khí. d. Thuốc tăng trọng, thức ăn gia súc: Tăng cường đầu tư sản xuất các loại thức ăn chăn nuôi như nguồn protein, bột cá, bột thịt xương, khoáng và vitamine,... đ. Than hoạt tính: Tiếp tục đầu tư chiều sâu kết hợp đầu tư mở rộng để nâng cao chất lượng sản phẩm và mở rộng thị trường xuất khẩu than hoạt tính. e. Hóa phân tích phục vụ nông nghiệp: Phát triển ngành hóa phân tích phục vụ nông nghiệp: phân loại và đánh giá chất lượng của đất, dung tích trao đổi ion của đất, độ mùn của đất, đánh giá chất lượng của phân bón, thuốc trừ sâu, nước nuôi trồng thủy sản đến phân tích chất lượng của thực phẩm, phân tích vi lượng trong cây trồng, v.v.... 2.2 Phát triển các sản phẩm hóa chất phục vụ nông thôn a. Các sản phẩm cao su: Đảm bảo cung cấp các loại lốp máy kéo, lốp ô tô phục vụ cho giao thông và chuyên dùng trong nông nghiệp. Nghiên cứu và triển khai sản xuất các sản phẩm cao su kỹ thuật, sản phẩm từ mủ latex. b. Chất tẩy rửa: Từ nay đến 2010 chủ yếu tập trung hiện đại hóa dây chuyền hiện có, ổn định và nâng cao chất lượng sản phẩm, đa dạng hóa chủng loại các sản phẩm chất tẩy rửa, đáp ứng thị trường trong nước, nhất là thị trường nông thôn với giá cả phù hợp sức mua của đa số nông dân. c. Ắc quy: Tiếp tục phát triển sản xuất các loại ắc quy, pin để phục vụ cho ngư dân và nông thôn vùng sâu, vùng xa theo hướng sản xuất các loại ắc qui không bảo dưỡng chì antimon thấp, chì canxi; giảm định mức nguyên liệu, tăng dung lượng, tăng tuổi thọ, giảm độ tự phóng trong thời gian lưu kho, nâng tổng sản lượng ắc quy đạt 1,5 - 1,9 triệu KWh vào năm 2010. Đầu tư sản xuất một số nguyên liệu cho sản xuất pin như chì hoàn nguyên, kẽm bột,...
- d. Hóa dược: Tăng cường xây dựng các cơ sở sản xuất hóa chất và nguyên liệu làm thuốc. Phối hợp với ngành công nghiệp dược phẩm đẩy mạnh phát triển công nghiệp hóa dược, thực hiện mục tiêu sản xuất trong nước đáp ứng 60% nhu cầu thuốc phòng bệnh và chữa bệnh của xã hội, nâng mức tiêu dùng thuốc lên 12-15 USD/người/năm vào năm 2010. đ. Khí công nghiệp: Đáp ứng toàn bộ nhu cầu về sản phẩm khí công nghiệp như oxy, nitơ, oxyt carbon cho thị trường trong nước. Đầu tư xây dựng nhà máy sản xuất khí công nghiệp đi kèm với các dự án điện - đạm Phú Mỹ và điện - đạm Cà Mau. 2.3. Lĩnh vực tiêu thụ các sản phẩm của nông thôn cung cấp cho ngành hóa chất. a. Hóa chất cơ bản Muối công nghiệp: Đầu tư sản xuất xút, clo và sô đa đáp ứng nhu cầu trong nước đồng thời tạo điều kiện cho ngành sản xuất, muối công nghiệp phát triển. Nhằm đáp ứng những đòi hỏi về chất lượng muối để sản xuất xút - clo, ngành muối cần tăng cường đầu tư kỹ thuật và trang thiết bị cho khâu sản xuất cũng như khâu tinh chế, b. Cây dược liệu: Trên cơ sở nguồn dược liệu tự nhiên, ngành hóa dược tận dụng tiềm năng nội sinh sẵn có để xây dựng công nghiệp nguyên liệu với quy mô công nghiệp, tạo thế chủ động cho sản xuất bào chế thuốc. Phân bố các cơ sở sản xuất nguyên liệu hóa dược theo các khu vực có lợi thế và tiềm năng nguyên liệu, nhân lực, môi trường. Khuyến khích mọi thành phần kinh tế tham gia phát triển trồng và chế biến các loại dược liệu theo quy hoạch phát triển chung của Nhà nước. c. Cây nguyên liệu: Đa dạng hóa các sản phẩm sản xuất từ cao su và từ một số loại cây có dầu như dầu trẩu, nhựa chai, nhựa thông, dầu hạt cao su..., qua đó góp phần phát triển các loại cây nguyên liệu. Sử dụng có hiệu quả cao su thiên nhiên và mủ cao su, hạn chế xuất khẩu cao su thô. d. Cồn: Phát triển nhiên liệu ethanol góp phần giảm thiểu ô nhiễm môi trường đồng thời mở ra khả năng tiêu thụ nông sản. Tổ chức thí điểm ở qui mô nhỏ và nhập công nghệ để rút ngắn thời gian nghiên cứu trước khi phát triển loại nhiên liệu này. 2.4. Xây dựng các cơ sở chế biến và dịch vụ: Công nghiệp hóa chất tham gia đầu tư phát triển các hoạt động dịch vụ như bảo quản nông sản, chống mối mọt, dịch vụ cung ứng nhiên liệu và các sản phẩm hóa chất tiêu dùng. Phối hợp với ngành công nghiệp cơ khí xây dựng các cơ sở chế biến dầu thực vật, trên cơ sở một số nhà máy sơ chế dầu trẩu hiện có nâng cấp thành các cơ sở chế biến hiện đại, có qui hoạch vùng nguyêu liệu. 2.5. An toàn hóa chất tại nông thôn: Nâng cao nhận thức về an toàn hóa chất đặc biệt đối với thuốc bảo vệ thực vật và các hóa chất dễ gây cháy nổ cho các hộ nông dân thông qua các hình thức tuyên truyền bằng các lớp phổ biến kiến thức, tờ rơi, áp phích. 3. Giải pháp và chính sách phát triển
- Các giải pháp và chính sách phát triển cần phải bảo đảm các yêu cầu sau: - Phát triển cân đối về cơ cấu sản phẩm; - Tạo điều kiện tốt nhất để huy động có hiệu quả các nguồn lực trong nước; - Tạo tốc độ phát triển cao cho các sản phẩm hóa chất phục vụ nông nghiệp, nông thôn và cho cả ngành công nghiệp hóa chất; - Phù hợp với điều kiện kinh tế - xã hội chung và điều kiện thu hút đầu tư, phát triển ngành công nghiệp hóa chất đủ mạnh trong tương lai. Một số giải pháp và chính sách chính: Giải pháp và chính sách về vốn: Vốn nhà nước sẽ đầu tư tập trung cho những công trình trọng điểm; thực hiện các chính sách ưu đãi về vốn hiện hành đối với những dự án đầu tư sản xuất phân bón, không đầu tư dàn trải. Khuyến khích, tạo điều kiện cho các nhà đầu tư nước ngoài đầu tư vào lĩnh vực sản xuất hóa chất phục vụ nông nghiệp, nông thôn; đặc biệt là vào những lĩnh vực sản xuất hàng xuất khẩu, lĩnh vực công nghệ cao và các ngành công nghiệp hỗ trợ, chế biến sâu nguyên liệu phục vụ sản xuất hóa chất, phân bón trong nước. Giải pháp và chính sách về thuế: Nghiên cứu để giải quyết kiến nghị của doanh nghiệp về giảm thuế VAT cho một số năm đầu đối với các dự án đầu tư mới sản xuất phân bón, hóa chất bảo vệ thực vật, hóa chất cơ bản và giảm thuế VAT mặt hàng phân bón xuống mức 0% phục vụ trực tiếp cho sản xuất nông nghiệp. Giải pháp và chính sách nâng cao năng lực sản xuất: Huy động tổng hợp các nguồn lực trong và ngoài nước, sử dụng có hiệu quả nguồn lực sẵn có để nâng cao năng lực sản xuất các sản phẩm hóa chất nhằm cung ứng đủ, kịp thời cho nhu cầu tiêu dùng trong nước và xuất khẩu. Đầu tư chiều sâu, đổi mới công nghệ, thiết bị để nâng cao năng lực sản xuất. Giải pháp và chính sách về khoa học & công nghệ: Đầu tư phát triển theo hướng đi thẳng vào sử dụng các loại công nghệ tiên tiến để tạo ra sản phẩm có chất lượng cao, giá thành hạ đồng thời đa dạng hóa sản phẩm, phát triển các sản phẩm mới. Nâng cao năng lực nghiên cứu triển khai và trình độ của đội ngũ quản lý và triển khai công tác khoa học, công nghệ. Hệ thống khuyến nông, khuyến công hỗ trợ về kinh phí và nhân lực cho công tác chuyển giao công nghệ, nghiên cứu triển khai, xúc tiến thị trường của các cơ sở chế biến sản phẩm hóa chất, phân bón phục vụ nông nghiệp. Giải pháp và chính sách cơ cấu sản phẩm và vùng lãnh thổ: Xây dựng các dự án đầu tư mới gần khu vực nguyên liệu và nơi tiêu thụ sản phẩm. Trước mắt đẩy nhanh việc phát triển công nghiệp hóa chất tại miền Trung thông qua việc phát triển một số dự án: nhựa alkyd, hóa chất cơ bản, chất tẩy rửa, hóa dầu.
- Giải pháp và chính sách về đất đai và sử dụng tài nguyên: Các ngành, các địa phương tạo điều kiện thuận lợi cho các doanh nghiệp thuộc mọi thành phần kinh tế được thuê đất xây dựng cơ sở sản xuất, chế biến sản phẩm hóa chất, phân bón phục vụ nông nghiệp. Khuyến khích sử dụng tài nguyên trong nước hiệu quả và tiết kiệm. Nhà nước cần hỗ trợ kinh phí cho các doanh nghiệp trong khâu tìm kiếm thăm dò khoáng sản, qui hoạch phát triển các vùng cây nguyên liệu, cây dược liệu phục vụ cho ngành hóa chất. Giải pháp và chính sách về tổ chức, quản lý: Tăng cường vai trò quản lý Nhà nước đối với một số sản phẩm như phân bón NPK, phân hữu cơ sinh học, hóa chất bảo vệ thực vật để tránh tình trạng đầu tư tràn lan, vi phạm các qui định về bảo vệ môi trường và chất lượng sản phẩm. Giải pháp và chính sách về thị trường: Thực hiện các biện pháp nhằm bảo vệ thị trường nội địa trong tiến trình hội nhập chủ yếu là sử dụng hàng rào kỹ thuật nhằm ngăn chặn việc nhập khẩu những sản phẩm kém chất lượng, không an toàn, gây ô nhiễm, ngoài ra cần tăng cường chống hàng nhái, hàng giả. Điều 2. Tổ chức thực hiện: 1. Bộ Công nghiệp: a. Vụ Cơ khí, luyện kim và hóa chất: - Phối hợp với Viện Nghiên cứu chiến lược chính sách công nghiệp xây dựng và trình Thủ tướng Chính phủ phê duyệt "Chiến lược - Qui hoạch phát triển công nghiệp hóa chất đến năm 2010 có tính đến năm 2020". Chịu trách nhiệm hướng dẫn thực hiện sau khi được ban hành. - Phối hợp với Cục Công nghiệp địa phương, các Vụ chức năng thuộc Bộ, các Sở Công nghiệp địa phương theo dõi sát, giải quyết kịp thời những vấn đề phát sinh nhằm hỗ trợ các cơ sở hóa chất phục vụ nông nghiệp, nông thôn. - Chỉ đạo Tổng Công ty hóa chất Việt Nam, Tổng công ty dầu khí Việt Nam bố trí sản xuất đủ, đáp ứng nhu cầu của nông nghiệp, nông thôn. - Chủ trì phối hợp với các cơ quan có liên quan như Bộ Nông nghiệp & phát triển nông thôn, Bộ Thủy sản, Hiệp hội Phân bón Việt Nam, Hội Hóa học Việt Nam triển khai các dự án cụ thể. b. Cục Công nghiệp địa phương: - Phối hợp các Sở Công nghiệp, các Vụ chức năng, các Tổng Công ty thuộc Bộ để triển khai các nội dung của đề án. - Báo cáo định kỳ về những thuận lợi và vướng mắc trong quá trình thực hiện đề án cho lãnh đạo Bộ.
- c. Vụ Hợp tác quốc tế: - Phối hợp với các Vụ chức năng thuộc Bộ Xây dựng quan hệ hợp tác song phương và đa phương với các tổ chức quốc tế và nước ngoài trong lĩnh vực cung cấp thông tin, tiến bộ KHKT, các hỗ trợ về tài chính, kinh nghiệm trong lĩnh vực công nghiệp hóa chất phục vụ nông nghiệp, nông thôn. d. Vụ Khoa học & Công nghệ: - Phối hợp với các Vụ chức năng thuộc Bộ chỉ đạo các đơn vị nghiên cứu thuộc Bộ nâng cao năng lực nghiên cứu và đẩy mạnh ứng dụng các giải pháp khoa học, công nghệ vào sản xuất nông nghiệp và nông thôn. - Chủ trì phối hợp với các cơ quan có liên quan xây dựng và đề xuất các hàng rào kỹ thuật nhằm bảo vệ thị trường nội địa. - Chủ trì phối hợp phổ biến tuyên truyền an toàn hóa chất cho nông nghiệp, nông thôn. 2. Tổng Công ty Hóa chất Việt Nam: - Theo dõi, chỉ đạo các doanh nghiệp trực thuộc xây dựng kế hoạch đầu tư phát triển, cải tiến công nghệ, nâng cao chất lượng sản phẩm, đa dạng hóa sản phẩm nhằm phục vụ kịp thời nhu cầu các sản phẩm hóa chất cho nông nghiệp, nông thôn. - Đẩy mạnh tiến độ đầu tư xây dựng Nhà máy DAP công suất 330.000 tấn/năm, Nhà máy sản xuất phân đạm từ than cám công suất 560.000 tấn/năm. Đầu tư mở rộng năng lực sản xuất phân lân supe tại Lâm Thao lên 850.000 tấn/năm, tại Long Thành lên 200.000 tấn/năm, các nhà máy sản xuất lân nung chảy lên 500.000 tấn/năm. - Đầu tư công nghệ thiết bị để đổi mới công nghệ gia công, sản xuất các sản phẩm thuốc bảo vệ thực vật. Đầu tư sản xuất hoạt chất công suất 6.000 tấn/năm. Đầu tư đồng bộ các dự án đảm bảo nguyên liệu cho sản xuất phân bón, như quặng apatit, secpentin. - Tiến hành lập báo cáo NCKT dự án đầu tư sản xuất soda và xút - clo từ muối công nghiệp. 3. Tổng Cổng ty Dầu khí Việt Nam: - Vận hành ổn định nhà máy phân đạm Phú Mỹ, phấn đấu từ năm 2005 chạy đạt công suất thiết kế, đồng thời xây dựng mạng lưới phân phối phục vụ nhu cầu sử dụng phân đạm ure của nông dân. - Đẩy nhanh tiến độ đầu tư xây dựng nhà máy phân đạm Cà Mau công suất 800.000 tấn/năm.
- 4. Uỷ ban nhân dân các tỉnh, thành phố trực thuộc Trung ương: - Chỉ đạo các Sở, Ban, ngành xây dựng các cơ chế, chính sách nhằm cụ thể hóa các nội dung của đề án phù hợp với đặc điểm cụ thể của từng địa phương để phát huy tối đa khả năng của ngành công nghiệp hóa chất phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn trên địa bàn. - Củng cố, kiện toàn bộ máy Sở Công nghiệp để thực hiện tốt vai trò đầu mối tham mưu cho Uỷ ban nhân dân tỉnh và Bộ Công nghiệp trong việc phát triển công nghiệp hóa chất phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn. 5. Hội Hóa học Việt Nam: - Hợp tác với các tổ chức hữu quan nhằm hỗ trợ đưa nhanh các tiến bộ khoa học và kỹ thuật phục vụ nông nghiệp, nông thôn. - Phổ biến các kiến thức khoa học và kỹ thuật hóa chất cho nông dân và những người có các hoạt động liên quan đến công nghiệp hóa chất phục vụ nông nghiệp, nông thôn. 6. Hiệp hội Phân bón Việt Nam: - Phối hợp các doanh nghiệp sản xuất, các nhà nhập khẩu, kinh doanh phân bón trong công tác thông tin, tìm kiếm thị trường, kiểm tra giám sát giá bán sản phẩm, giá nhập khẩu, chất lượng sản phẩm, tham gia cân đối cung - cầu để tránh xẩy ra những biến động về giá cả. Điều 3. Quyết định này có hiệu lực sau 15 ngày kể từ ngày đăng Công báo. Điều 4. Chánh Văn phòng Bộ, Chánh Thanh tra Bộ, Vụ trưởng, Cục trưởng Cục thuộc Bộ, Viện trưởng Viện nghiên cứu chiến lược chính sách công nghiệp, Tổng Giám đốc Tổng Công ty Hóa chất Việt Nam, Tổng Giám đốc Tổng Công ty Dầu khí Việt Nam, thủ trưởng các đơn vị có liên quan chịu trách nhiệm thi hành Quyết định này. Hoàng Trung Hải (Đã ký)
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Quyết định 171/2004/QĐ-TTg
22 p | 141 | 19
-
Quyết định 24/2004/QĐ-BTNMT
17 p | 147 | 14
-
Quyết định 146/2004/QĐ-TTg
9 p | 77 | 12
-
Quyết định 134/2004/QĐ-TTg
6 p | 160 | 12
-
Quyết định 110/2004/QĐ-TTg
8 p | 127 | 12
-
Quyết định 177/2004/QĐ-TTg
14 p | 81 | 11
-
Quyết định 122/2004/QĐ-TTg
6 p | 100 | 11
-
Quyết định 27/2004/QĐ-BKHCN
30 p | 66 | 10
-
Quyết định 131/2004/QĐ-TTg
7 p | 104 | 10
-
Quyết định 133/2004/QĐ-TTg
2 p | 73 | 9
-
Quyết định 47/2004/QĐ-BVHTT
16 p | 91 | 8
-
Quyết định 1420/2004/QĐ-BTM
33 p | 55 | 8
-
Quyết định 112/2004/QĐ-TTg
10 p | 114 | 8
-
Quyết định 45/2004/QĐ-BNN
21 p | 62 | 3
-
Quyết định 1375/2004/QĐ-BTM
2 p | 49 | 3
-
Quyết định 0865/2004/QĐ-BTM
24 p | 87 | 3
-
Quyết định 53/2004/QĐ-BNN
14 p | 53 | 2

markdown:
# Quyết định 60/2004/QĐ-BCN
Chia sẻ: Trương Kiện | Ngày: | Loại File: PDF | Số trang:8
lượt xem 3
download
![](http://image.tlvnimg.com/document/thumbnail/2009/20091010/truongvekien/80x100/335.jpg)
##
Quyết định 60/2004/QĐ-BCN
[Vui lòng tải xuống để xem tài liệu đầy đủ](javascript:void(0);)
Download
![](http://static.tlvnimg.com/b2013az/templates/version1/default/images/down16x21.png)
Quyết định 60/2004/QĐ-BCN về việc phê duyệt Đề án "Phát triển công nghiệp hoá chất đến năm 2010 phục vụ công nghiệp hoá, hiện đại hoá nông nghiệp, nông thôn" do Bộ Công nghiệp ban hành
Bình luận(0)
[Đăng nhập để gửi bình luận!](javascript:void(0);)
##
Nội dung Text: Quyết định 60/2004/QĐ-BCN
- BỘ CÔNG NGHIỆP CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM ******** Độc lập - Tự do - Hạnh phúc ******** Số: 60/2004/QĐ-BCN Hà Nội, ngày 15 tháng 7 năm 2004 QUYẾT ĐỊNH CỦA BỘ TRƯỞNG BỘ CÔNG NGHIỆP SỐ 60/2004/QĐ-BCN NGÀY 15 THÁNG 7 NĂM 2004 VỀ VIỆC PHÊ DUYỆT ĐỀ ÁN "PHÁT TRIỂN CÔNG NGHIỆP HÓA CHẤT ĐẾN NĂM 2010 PHỤC VỤ CÔNG NGHIỆP HÓA, HIỆN ĐẠI HÓA NÔNG NGHIỆP, NÔNG THÔN" BỘ TRƯỞNG BỘ CÔNG NGHIỆP Căn cứ Nghị định số 55/2003/NĐ-CP ngày 28 tháng 5 năm 2003 của Chính phủ quy định chức năng, nhiệm vụ, quyền hạn và cơ cấu tổ chức của Bộ Công nghiệp; Căn cứ Chỉ thị số 24/2003/CT-TTg ngày 08 tháng 10 năm 2003 của Thủ tướng Chính phủ về phát triển công nghiệp chế biến nông, lâm, thủy sản; Căn cứ Chương trình hành động của ngành công nghiệp thực hiện Nghị quyết Hội nghị lần thứ 5 Ban Chấp hành Trung ương Đảng khóa IX; Theo đề nghị của Vụ trưởng Vụ Cơ khí, Luyện kim và hóa chất và Cục trưởng Cục Công nghiệp địa phương. QUYẾT ĐỊNH Điều 1. Phê duyệt Đề án "phát triển công nghiệp hóa chất đến năm 2010 phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn" với những nội dung chính sau đây: 1. Quan điểm và mục tiêu phát triển a. Đáp ứng yêu cầu phát triển nền kinh tế quốc dân, trước hết là sản xuất nông nghiệp, công nghiệp hóa nông thôn, tác động thúc đẩy các ngành công nghiệp khác phát triển và nâng cao đời sống của nhân dân; b. Phát triển có chọn lọc và song song cả hai lĩnh vực tư liệu sản xuất và tư liệu tiêu dùng trên cơ sở đi thẳng vào công nghệ hiện đại, tiết kiệm nguyên vật liệu, bảo vệ môi trường; c. Huy động tổng hợp và sử dụng có hiệu quả những lợi thế của các nguồn lực trong nước và tranh thủ mọi nguồn lực ngoài nước để phát triển ngành công nghiệp hóa chất, tập trung vào những sản phẩm trọng điểm phục vụ nông nghiệp, nông thôn, như các loại phân bón, thuốc bảo vệ thực vật, hóa chất cơ bản, sản phẩm chế biến từ các hợp chất thiên nhiên, cao su, chất dẻo v.v...;
- d. Ưu tiên thu hút đầu tư nước ngoài vào lĩnh vực hóa chất cơ bản, hóa dầu, phân đạm, bột màu, sản xuất các loại pin cao cấp, khí trơ công nghiệp... Tự đầu tư dưới nhiều hình thức như liên doanh trong nước, nhập thiết bị, nhập kỹ thuật v.v...; đ. Kết hợp một cách chặt chẽ và có hiệu quả giữa phát triển công nghiệp hóa chất phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn với sự nghiệp bảo vệ tổ quốc, củng cố an ninh, quốc phòng. 2. Định hướng phát triển 2.1. Phát triển các sản phẩm hóa chất phục vụ nông nghiệp a. Phân bón: Phát triển phân bón là một trong những nhiệm vụ trung tâm của ngành công nghiệp hóa chất đến năm 2010 và những năm tiếp theo để phục vụ nông nghiệp. Tăng nhanh về số lượng, đa dạng hóa chủng loại, nhất là các loại hữu cơ, phân vi sinh và nâng cao chất lượng phân bón cho phù hợp với từng loại cây trồng và điều kiện thổ nhưỡng khác nhau. Đến năm 2005 và 2010, ngành phân bón tập trung đẩy mạnh công tác đầu tư xây dựng mới hai nhà máy sản xuất phân đạm, một nhà máy từ khí tại Cà Mau công suất 800.000 tấn urê/năm; một nhà máy tại miền Bắc từ than cám công suất 560.000 tấn urê/năm; một nhà máy sản xuất phân diamino phosphat (DAP) tại Đình Vũ, Hải Phòng công suất 330.000 tấn/năm, một nhà máy sản xuất amon sunphat (SA) công suất 100.000 tấn/năm. Tiếp tục đầu tư mở rộng năng lực sản xuất phân supe lân tại Lâm Thao lên 850.000 tấn/năm; tại Long Thành lên 200.000 tấn/năm, các nhà máy sản xuất phân lân nung chảy lên 500.000 tấn/năm. Về phân bón hỗn hợp NPK: Không đầu tư mới các cơ sở sản xuất phân NPK theo công nghệ hiện có. Đầu tư chiều sâu, phát triển sản xuất theo hướng nâng cao chất lượng sản phẩm như hàm lượng dinh dưỡng, độ bền cơ học, khả năng chống hút ẩm, giảm thiểu ô nhiễm môi trường đồng thời tăng cường tự động hóa, cơ giới hóa khâu sản xuất. Về phân bón hữu cơ, vi sinh: Căn cứ nhu cầu và nguồn nguyên liệu tại chỗ để xác định quy mô, sản phẩm thích hợp. Ngoài các loại phân bón truyền thống nêu trên, tiến hành việc nghiên cứu phát triển một số loại phân bón mới như phân bón lá, phân tan chậm. Nghiên cứu sản xuất các chủng loại vi sinh vật hữu ích để chủ động trong việc sản xuất phân hữu cơ sinh học và phân vi sinh. Nguyên liệu cho sản xuất phân bón: Đầu tư đồng bộ các dự án khai thác các loại quặng như apatit, secpentin nhằm bảo đảm nguyên liệu cho sản xuất phân bón. b. Hóa chất bảo vệ thực vật: Sử dụng các hoạt chất mới có hoạt tính cao, ít độc hại cho người và động vật máu nóng và ít gây ô nhiễm môi trường. Áp dụng công nghệ gia công tiên tiến, sử dụng dung môi nước thay thế các dung môi hữu cơ để có các sản phẩm an
- toàn và thân thiện với môi trường như sản phẩm huyền phù đậm đặc, vi nhũ tương, hạt phân tán trong nước. Nghiên cứu sử dụng các hoạt chất vi sinh và các hoạt chất chiết xuất từ thảo mộc. Ưu tiên các dự án đầu tư sản xuất các hoạt chất để giảm tỷ lệ nhập khẩu. Đầu tư mới trang thiết bị sản xuất hóa chất bảo vệ thực vật, tự động hóa khâu đóng gói. Đẩy mạnh sản xuất các chế phẩm sát trùng gia dụng, các loại kích thích tố, thuốc trừ nấm, trừ cỏ. c. Sản phẩm hóa chất thực phẩm, bảo quản sau thu hoạch và phục vụ nuôi trồng thủy sản: Từ nay đến 2010 đầu tư chiều sâu, đổi mới công nghệ thiết bị và tiếp tục đầu tư để nâng cao năng lực sản xuất và chất lượng các loại hóa chất dùng trong lĩnh vực thực phẩm, hóa chất phục vụ bảo quản sau thu hoạch và nuôi trồng thủy sản nhằm thay thế hàng nhập khẩu. Lựa chọn và tiếp cận công nghệ mới tiên tiến có tính cạnh tranh cao để đầu tư mới. Phát triển sản xuất một số chế phẩm như zeolit và diatomit phục vụ nuôi trồng thủy sản. Nghiên cứu sản xuất một số tác nhân làm lạnh như nitơ lỏng và CO2 rắn từ khí đồng hành của các dự án chế biến dầu khí. d. Thuốc tăng trọng, thức ăn gia súc: Tăng cường đầu tư sản xuất các loại thức ăn chăn nuôi như nguồn protein, bột cá, bột thịt xương, khoáng và vitamine,... đ. Than hoạt tính: Tiếp tục đầu tư chiều sâu kết hợp đầu tư mở rộng để nâng cao chất lượng sản phẩm và mở rộng thị trường xuất khẩu than hoạt tính. e. Hóa phân tích phục vụ nông nghiệp: Phát triển ngành hóa phân tích phục vụ nông nghiệp: phân loại và đánh giá chất lượng của đất, dung tích trao đổi ion của đất, độ mùn của đất, đánh giá chất lượng của phân bón, thuốc trừ sâu, nước nuôi trồng thủy sản đến phân tích chất lượng của thực phẩm, phân tích vi lượng trong cây trồng, v.v.... 2.2 Phát triển các sản phẩm hóa chất phục vụ nông thôn a. Các sản phẩm cao su: Đảm bảo cung cấp các loại lốp máy kéo, lốp ô tô phục vụ cho giao thông và chuyên dùng trong nông nghiệp. Nghiên cứu và triển khai sản xuất các sản phẩm cao su kỹ thuật, sản phẩm từ mủ latex. b. Chất tẩy rửa: Từ nay đến 2010 chủ yếu tập trung hiện đại hóa dây chuyền hiện có, ổn định và nâng cao chất lượng sản phẩm, đa dạng hóa chủng loại các sản phẩm chất tẩy rửa, đáp ứng thị trường trong nước, nhất là thị trường nông thôn với giá cả phù hợp sức mua của đa số nông dân. c. Ắc quy: Tiếp tục phát triển sản xuất các loại ắc quy, pin để phục vụ cho ngư dân và nông thôn vùng sâu, vùng xa theo hướng sản xuất các loại ắc qui không bảo dưỡng chì antimon thấp, chì canxi; giảm định mức nguyên liệu, tăng dung lượng, tăng tuổi thọ, giảm độ tự phóng trong thời gian lưu kho, nâng tổng sản lượng ắc quy đạt 1,5 - 1,9 triệu KWh vào năm 2010. Đầu tư sản xuất một số nguyên liệu cho sản xuất pin như chì hoàn nguyên, kẽm bột,...
- d. Hóa dược: Tăng cường xây dựng các cơ sở sản xuất hóa chất và nguyên liệu làm thuốc. Phối hợp với ngành công nghiệp dược phẩm đẩy mạnh phát triển công nghiệp hóa dược, thực hiện mục tiêu sản xuất trong nước đáp ứng 60% nhu cầu thuốc phòng bệnh và chữa bệnh của xã hội, nâng mức tiêu dùng thuốc lên 12-15 USD/người/năm vào năm 2010. đ. Khí công nghiệp: Đáp ứng toàn bộ nhu cầu về sản phẩm khí công nghiệp như oxy, nitơ, oxyt carbon cho thị trường trong nước. Đầu tư xây dựng nhà máy sản xuất khí công nghiệp đi kèm với các dự án điện - đạm Phú Mỹ và điện - đạm Cà Mau. 2.3. Lĩnh vực tiêu thụ các sản phẩm của nông thôn cung cấp cho ngành hóa chất. a. Hóa chất cơ bản Muối công nghiệp: Đầu tư sản xuất xút, clo và sô đa đáp ứng nhu cầu trong nước đồng thời tạo điều kiện cho ngành sản xuất, muối công nghiệp phát triển. Nhằm đáp ứng những đòi hỏi về chất lượng muối để sản xuất xút - clo, ngành muối cần tăng cường đầu tư kỹ thuật và trang thiết bị cho khâu sản xuất cũng như khâu tinh chế, b. Cây dược liệu: Trên cơ sở nguồn dược liệu tự nhiên, ngành hóa dược tận dụng tiềm năng nội sinh sẵn có để xây dựng công nghiệp nguyên liệu với quy mô công nghiệp, tạo thế chủ động cho sản xuất bào chế thuốc. Phân bố các cơ sở sản xuất nguyên liệu hóa dược theo các khu vực có lợi thế và tiềm năng nguyên liệu, nhân lực, môi trường. Khuyến khích mọi thành phần kinh tế tham gia phát triển trồng và chế biến các loại dược liệu theo quy hoạch phát triển chung của Nhà nước. c. Cây nguyên liệu: Đa dạng hóa các sản phẩm sản xuất từ cao su và từ một số loại cây có dầu như dầu trẩu, nhựa chai, nhựa thông, dầu hạt cao su..., qua đó góp phần phát triển các loại cây nguyên liệu. Sử dụng có hiệu quả cao su thiên nhiên và mủ cao su, hạn chế xuất khẩu cao su thô. d. Cồn: Phát triển nhiên liệu ethanol góp phần giảm thiểu ô nhiễm môi trường đồng thời mở ra khả năng tiêu thụ nông sản. Tổ chức thí điểm ở qui mô nhỏ và nhập công nghệ để rút ngắn thời gian nghiên cứu trước khi phát triển loại nhiên liệu này. 2.4. Xây dựng các cơ sở chế biến và dịch vụ: Công nghiệp hóa chất tham gia đầu tư phát triển các hoạt động dịch vụ như bảo quản nông sản, chống mối mọt, dịch vụ cung ứng nhiên liệu và các sản phẩm hóa chất tiêu dùng. Phối hợp với ngành công nghiệp cơ khí xây dựng các cơ sở chế biến dầu thực vật, trên cơ sở một số nhà máy sơ chế dầu trẩu hiện có nâng cấp thành các cơ sở chế biến hiện đại, có qui hoạch vùng nguyêu liệu. 2.5. An toàn hóa chất tại nông thôn: Nâng cao nhận thức về an toàn hóa chất đặc biệt đối với thuốc bảo vệ thực vật và các hóa chất dễ gây cháy nổ cho các hộ nông dân thông qua các hình thức tuyên truyền bằng các lớp phổ biến kiến thức, tờ rơi, áp phích. 3. Giải pháp và chính sách phát triển
- Các giải pháp và chính sách phát triển cần phải bảo đảm các yêu cầu sau: - Phát triển cân đối về cơ cấu sản phẩm; - Tạo điều kiện tốt nhất để huy động có hiệu quả các nguồn lực trong nước; - Tạo tốc độ phát triển cao cho các sản phẩm hóa chất phục vụ nông nghiệp, nông thôn và cho cả ngành công nghiệp hóa chất; - Phù hợp với điều kiện kinh tế - xã hội chung và điều kiện thu hút đầu tư, phát triển ngành công nghiệp hóa chất đủ mạnh trong tương lai. Một số giải pháp và chính sách chính: Giải pháp và chính sách về vốn: Vốn nhà nước sẽ đầu tư tập trung cho những công trình trọng điểm; thực hiện các chính sách ưu đãi về vốn hiện hành đối với những dự án đầu tư sản xuất phân bón, không đầu tư dàn trải. Khuyến khích, tạo điều kiện cho các nhà đầu tư nước ngoài đầu tư vào lĩnh vực sản xuất hóa chất phục vụ nông nghiệp, nông thôn; đặc biệt là vào những lĩnh vực sản xuất hàng xuất khẩu, lĩnh vực công nghệ cao và các ngành công nghiệp hỗ trợ, chế biến sâu nguyên liệu phục vụ sản xuất hóa chất, phân bón trong nước. Giải pháp và chính sách về thuế: Nghiên cứu để giải quyết kiến nghị của doanh nghiệp về giảm thuế VAT cho một số năm đầu đối với các dự án đầu tư mới sản xuất phân bón, hóa chất bảo vệ thực vật, hóa chất cơ bản và giảm thuế VAT mặt hàng phân bón xuống mức 0% phục vụ trực tiếp cho sản xuất nông nghiệp. Giải pháp và chính sách nâng cao năng lực sản xuất: Huy động tổng hợp các nguồn lực trong và ngoài nước, sử dụng có hiệu quả nguồn lực sẵn có để nâng cao năng lực sản xuất các sản phẩm hóa chất nhằm cung ứng đủ, kịp thời cho nhu cầu tiêu dùng trong nước và xuất khẩu. Đầu tư chiều sâu, đổi mới công nghệ, thiết bị để nâng cao năng lực sản xuất. Giải pháp và chính sách về khoa học & công nghệ: Đầu tư phát triển theo hướng đi thẳng vào sử dụng các loại công nghệ tiên tiến để tạo ra sản phẩm có chất lượng cao, giá thành hạ đồng thời đa dạng hóa sản phẩm, phát triển các sản phẩm mới. Nâng cao năng lực nghiên cứu triển khai và trình độ của đội ngũ quản lý và triển khai công tác khoa học, công nghệ. Hệ thống khuyến nông, khuyến công hỗ trợ về kinh phí và nhân lực cho công tác chuyển giao công nghệ, nghiên cứu triển khai, xúc tiến thị trường của các cơ sở chế biến sản phẩm hóa chất, phân bón phục vụ nông nghiệp. Giải pháp và chính sách cơ cấu sản phẩm và vùng lãnh thổ: Xây dựng các dự án đầu tư mới gần khu vực nguyên liệu và nơi tiêu thụ sản phẩm. Trước mắt đẩy nhanh việc phát triển công nghiệp hóa chất tại miền Trung thông qua việc phát triển một số dự án: nhựa alkyd, hóa chất cơ bản, chất tẩy rửa, hóa dầu.
- Giải pháp và chính sách về đất đai và sử dụng tài nguyên: Các ngành, các địa phương tạo điều kiện thuận lợi cho các doanh nghiệp thuộc mọi thành phần kinh tế được thuê đất xây dựng cơ sở sản xuất, chế biến sản phẩm hóa chất, phân bón phục vụ nông nghiệp. Khuyến khích sử dụng tài nguyên trong nước hiệu quả và tiết kiệm. Nhà nước cần hỗ trợ kinh phí cho các doanh nghiệp trong khâu tìm kiếm thăm dò khoáng sản, qui hoạch phát triển các vùng cây nguyên liệu, cây dược liệu phục vụ cho ngành hóa chất. Giải pháp và chính sách về tổ chức, quản lý: Tăng cường vai trò quản lý Nhà nước đối với một số sản phẩm như phân bón NPK, phân hữu cơ sinh học, hóa chất bảo vệ thực vật để tránh tình trạng đầu tư tràn lan, vi phạm các qui định về bảo vệ môi trường và chất lượng sản phẩm. Giải pháp và chính sách về thị trường: Thực hiện các biện pháp nhằm bảo vệ thị trường nội địa trong tiến trình hội nhập chủ yếu là sử dụng hàng rào kỹ thuật nhằm ngăn chặn việc nhập khẩu những sản phẩm kém chất lượng, không an toàn, gây ô nhiễm, ngoài ra cần tăng cường chống hàng nhái, hàng giả. Điều 2. Tổ chức thực hiện: 1. Bộ Công nghiệp: a. Vụ Cơ khí, luyện kim và hóa chất: - Phối hợp với Viện Nghiên cứu chiến lược chính sách công nghiệp xây dựng và trình Thủ tướng Chính phủ phê duyệt "Chiến lược - Qui hoạch phát triển công nghiệp hóa chất đến năm 2010 có tính đến năm 2020". Chịu trách nhiệm hướng dẫn thực hiện sau khi được ban hành. - Phối hợp với Cục Công nghiệp địa phương, các Vụ chức năng thuộc Bộ, các Sở Công nghiệp địa phương theo dõi sát, giải quyết kịp thời những vấn đề phát sinh nhằm hỗ trợ các cơ sở hóa chất phục vụ nông nghiệp, nông thôn. - Chỉ đạo Tổng Công ty hóa chất Việt Nam, Tổng công ty dầu khí Việt Nam bố trí sản xuất đủ, đáp ứng nhu cầu của nông nghiệp, nông thôn. - Chủ trì phối hợp với các cơ quan có liên quan như Bộ Nông nghiệp & phát triển nông thôn, Bộ Thủy sản, Hiệp hội Phân bón Việt Nam, Hội Hóa học Việt Nam triển khai các dự án cụ thể. b. Cục Công nghiệp địa phương: - Phối hợp các Sở Công nghiệp, các Vụ chức năng, các Tổng Công ty thuộc Bộ để triển khai các nội dung của đề án. - Báo cáo định kỳ về những thuận lợi và vướng mắc trong quá trình thực hiện đề án cho lãnh đạo Bộ.
- c. Vụ Hợp tác quốc tế: - Phối hợp với các Vụ chức năng thuộc Bộ Xây dựng quan hệ hợp tác song phương và đa phương với các tổ chức quốc tế và nước ngoài trong lĩnh vực cung cấp thông tin, tiến bộ KHKT, các hỗ trợ về tài chính, kinh nghiệm trong lĩnh vực công nghiệp hóa chất phục vụ nông nghiệp, nông thôn. d. Vụ Khoa học & Công nghệ: - Phối hợp với các Vụ chức năng thuộc Bộ chỉ đạo các đơn vị nghiên cứu thuộc Bộ nâng cao năng lực nghiên cứu và đẩy mạnh ứng dụng các giải pháp khoa học, công nghệ vào sản xuất nông nghiệp và nông thôn. - Chủ trì phối hợp với các cơ quan có liên quan xây dựng và đề xuất các hàng rào kỹ thuật nhằm bảo vệ thị trường nội địa. - Chủ trì phối hợp phổ biến tuyên truyền an toàn hóa chất cho nông nghiệp, nông thôn. 2. Tổng Công ty Hóa chất Việt Nam: - Theo dõi, chỉ đạo các doanh nghiệp trực thuộc xây dựng kế hoạch đầu tư phát triển, cải tiến công nghệ, nâng cao chất lượng sản phẩm, đa dạng hóa sản phẩm nhằm phục vụ kịp thời nhu cầu các sản phẩm hóa chất cho nông nghiệp, nông thôn. - Đẩy mạnh tiến độ đầu tư xây dựng Nhà máy DAP công suất 330.000 tấn/năm, Nhà máy sản xuất phân đạm từ than cám công suất 560.000 tấn/năm. Đầu tư mở rộng năng lực sản xuất phân lân supe tại Lâm Thao lên 850.000 tấn/năm, tại Long Thành lên 200.000 tấn/năm, các nhà máy sản xuất lân nung chảy lên 500.000 tấn/năm. - Đầu tư công nghệ thiết bị để đổi mới công nghệ gia công, sản xuất các sản phẩm thuốc bảo vệ thực vật. Đầu tư sản xuất hoạt chất công suất 6.000 tấn/năm. Đầu tư đồng bộ các dự án đảm bảo nguyên liệu cho sản xuất phân bón, như quặng apatit, secpentin. - Tiến hành lập báo cáo NCKT dự án đầu tư sản xuất soda và xút - clo từ muối công nghiệp. 3. Tổng Cổng ty Dầu khí Việt Nam: - Vận hành ổn định nhà máy phân đạm Phú Mỹ, phấn đấu từ năm 2005 chạy đạt công suất thiết kế, đồng thời xây dựng mạng lưới phân phối phục vụ nhu cầu sử dụng phân đạm ure của nông dân. - Đẩy nhanh tiến độ đầu tư xây dựng nhà máy phân đạm Cà Mau công suất 800.000 tấn/năm.
- 4. Uỷ ban nhân dân các tỉnh, thành phố trực thuộc Trung ương: - Chỉ đạo các Sở, Ban, ngành xây dựng các cơ chế, chính sách nhằm cụ thể hóa các nội dung của đề án phù hợp với đặc điểm cụ thể của từng địa phương để phát huy tối đa khả năng của ngành công nghiệp hóa chất phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn trên địa bàn. - Củng cố, kiện toàn bộ máy Sở Công nghiệp để thực hiện tốt vai trò đầu mối tham mưu cho Uỷ ban nhân dân tỉnh và Bộ Công nghiệp trong việc phát triển công nghiệp hóa chất phục vụ công nghiệp hóa, hiện đại hóa nông nghiệp, nông thôn. 5. Hội Hóa học Việt Nam: - Hợp tác với các tổ chức hữu quan nhằm hỗ trợ đưa nhanh các tiến bộ khoa học và kỹ thuật phục vụ nông nghiệp, nông thôn. - Phổ biến các kiến thức khoa học và kỹ thuật hóa chất cho nông dân và những người có các hoạt động liên quan đến công nghiệp hóa chất phục vụ nông nghiệp, nông thôn. 6. Hiệp hội Phân bón Việt Nam: - Phối hợp các doanh nghiệp sản xuất, các nhà nhập khẩu, kinh doanh phân bón trong công tác thông tin, tìm kiếm thị trường, kiểm tra giám sát giá bán sản phẩm, giá nhập khẩu, chất lượng sản phẩm, tham gia cân đối cung - cầu để tránh xẩy ra những biến động về giá cả. Điều 3. Quyết định này có hiệu lực sau 15 ngày kể từ ngày đăng Công báo. Điều 4. Chánh Văn phòng Bộ, Chánh Thanh tra Bộ, Vụ trưởng, Cục trưởng Cục thuộc Bộ, Viện trưởng Viện nghiên cứu chiến lược chính sách công nghiệp, Tổng Giám đốc Tổng Công ty Hóa chất Việt Nam, Tổng Giám đốc Tổng Công ty Dầu khí Việt Nam, thủ trưởng các đơn vị có liên quan chịu trách nhiệm thi hành Quyết định này. Hoàng Trung Hải (Đã ký)
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Quyết định 171/2004/QĐ-TTg
22 p |
141 |
19
-
Quyết định 24/2004/QĐ-BTNMT
17 p |
147 |
14
-
Quyết định 146/2004/QĐ-TTg
9 p |
77 |
12
-
Quyết định 134/2004/QĐ-TTg
6 p |
160 |
12
-
Quyết định 110/2004/QĐ-TTg
8 p |
127 |
12
-
Quyết định 177/2004/QĐ-TTg
14 p |
81 |
11
-
Quyết định 122/2004/QĐ-TTg
6 p |
100 |
11
-
Quyết định 27/2004/QĐ-BKHCN
30 p |
66 |
10
-
Quyết định 131/2004/QĐ-TTg
7 p |
104 |
10
-
Quyết định 133/2004/QĐ-TTg
2 p |
73 |
9
-
Quyết định 47/2004/QĐ-BVHTT
16 p |
91 |
8
-
Quyết định 1420/2004/QĐ-BTM
33 p |
55 |
8
-
Quyết định 112/2004/QĐ-TTg
10 p |
114 |
8
-
Quyết định 45/2004/QĐ-BNN
21 p |
62 |
3
-
Quyết định 1375/2004/QĐ-BTM
2 p |
49 |
3
-
Quyết định 0865/2004/QĐ-BTM
24 p |
87 |
3
-
Quyết định 53/2004/QĐ-BNN
14 p |
53 |
2

Set-Cookie: TLDEVNamespace=c0pfv8cpq5jepnvobssv4fobg7; path=/; domain=.tailieu.vn; HttpOnly