Giải được bài toán này, bạn sẽ có toàn bộ Bitcoin trên thế giới
P so với NP (giải nhanh chóng so với kiểm chứng nhanh chóng) là bài toán mở quan trọng trong lý thuyết khoa học máy tính. Có thể mô tả một cách đơn giản như sau: Nếu một bài toán có lời giải có thể kiểm chứng được nhanh chóng,ảiđượcbàitoánnàybạnsẽcótoànbộBitcointrênthếgiớphạm minh chính liệu có thể tìm lời giải đó nhanh chóng hay không?
Chẳng hạn như trò chơi Sudoku, dù rất khó nhưng kiểm tra lại rất dễ (chỉ cần cộng lại các hàng, cột và đường chéo), đó chính là vấn đề.
P so với NP được Stephen Cook đưa ra năm 1971 trong bài báo nổi tiếng "The complexity of theorem proving procedures", được nhiều người xem là bài toán quan trọng nhất trong ngành khoa học máy tính.
Sơ đồ hiển thị các lớp vấn đề cần phải chứng minh để P = NP. Ảnh: Behnam Esfahbod. |
Đây cũng là một trong bảy bài toán thiên niên kỷ chọn bởi Viện Toán học Clay. Mỗi bài trong số bảy bài này có giải thưởng 1.000.000 USD cho lời giải đúng đầu tiên.
Lời giải bài toán P so với NP sẽ cho biết liệu tất cả các bài toán trong NP, như bài toán tổng tập hợp con, đều có thuật toán thực thi trong thời gian đa thức. Nếu P ≠ NP, thì có nhiều bài toán trong NP (chẳng hạn như các bài toán NP - đầy đủ) có lời giải có thể kiểm chứng được trong thời gian đa thức (khoảng thời gian hữu hạn nào đó có thể tính toán được) nhưng không thể tìm ra một lời giải như vậy trong thời gian đa thức.
Bài toán mở ra kho vàng
Nhà khoa học máy tính Scott Aaronson đã giải thích tại bài giảng trong Phòng thí nghiệm quốc gia Los Alamos ở New Mexico, chứng minh P = NP sẽ mở ra một số khả năng hấp dẫn.
Nếu ai đó giải quyết được bài toán P so với NP, điều đầu tiên họ làm là lấy 200 tỷ USD giá trị Bitcoin toàn cầu. Điều thứ hai là tiếp tục giải quyết tất cả bài toán thiên niên kỷ khác. Lúc này, họ sẽ đưa nhân loại “tiến hoá” thêm một bậc.
Để hiểu tại sao lại như vậy, cần biết máy tính là thiết bị giải quyết vấn đề, trong đó thông tin được trừu tượng thành mã có thể đọc được bằng thiết bị vật lý, dựa trên các nguyên tắc do Alan Turing đưa ra. Giải quyết vấn đề cần một số bước và khoảng thời gian nhất định, lượng thời gian cần thiết sẽ tăng lên khi vấn đề ngày càng lớn.
P so với NP được Stephen Cook đưa ra năm 1971 trong bài báo nổi tiếng "The complexity of theorem proving procedures". Ảnh: Kevin Van Paassen. |
Từ việc đơn giản nhân hai số đến các tác vụ phức tạp hơn như dùng trình duyệt Internet, máy tính về cơ bản đang cố giải quyết các phép toán nhân chia cộng trừ.
Khi một vấn đề phát triển phức tạp, lượng thời gian cần thiết để giải quyết tăng lên trong thời gian đa thức. Đa thức là một số có lũy thừa và hệ số (ví dụ như n luỹ thừa 2). Nếu một vấn đề có thể giải quyết được trong thời gian n mũ 2, khi tăng gấp đôi kích thước của vấn đề (2n), lượng thời gian cần thiết để giải quyết sẽ tăng lên bốn lần (2n luỹ thừa 2).
Như vậy, các tác vụ trong máy tính đều có thể tính được sau bao lâu thì máy tính giải quyết xong vấn đề được đưa ra.
Giải quyết và kiểm chứng
Có rất nhiều vấn đề trong đó người ta có thể kiểm tra một câu trả lời là đúng trong thời gian đa thức (tính được thời gian kiểm tra đáp án), nhưng quá trình để được câu trả lời đó có thể không là thời gian đa thức (tức là có thể tìm thấy lời giải hoặc không tìm thấy lời giải trong một khoảng thời gian nào đó, không thể xác định chính xác sau bao lâu thì tìm được lời giải).
Đây được gọi là các vấn đề NP “Nondeterministic Polynomial time” - vấn đề không xác định thời gian đa thức.
Sudoku là một vấn đề NP khó giải quyết, dễ kiểm tra. Ví dụ quan trọng khác là tách một số thành các số nguyên tố. Hiện phải mất một thời gian rất lâu, chậm hơn thời gian đa thức để tách các số rất lớn thành các số nguyên tố. Tuy nhiên kiểm tra xem câu trả lời có đúng không chỉ đơn giản là nhân các số kết quả với nhau. Ý tưởng này là nền tảng của mã hóa hiện đại, dựa trên việc tạo các khóa bảo mật dễ xác minh nhưng khó bẻ khóa.
Nếu chứng minh được P=NP, bạn sẽ làm lủng đoạn toàn bộ hệ thống bảo mật thế giới chứ không riêng Bitcoin. Ảnh: Cryptoline News. |
Người ta từng nghĩ rằng máy tính lượng tử có thể giải quyết được các vấn đề NP khó nhất, được gọi là các vấn đề NP-đầy đủ. Nhưng không như kì vọng, máy tính lượng tử chỉ có thể giải quyết một số vấn đề P trong thời gian ngắn hơn (đa thức thấp hơn) hoặc chuyển một số vấn đề NP sang khái quát lượng tử của P, được gọi là BQP hoặc Thời gian đa thức lỗi Bounded-Error.
Do hiện tại người ta vẫn chưa chứng minh được P = NP, toàn bộ hệ thống mã hoá của chúng ta vẫn còn đảm bảo an ninh. Hacker phải mất nhiều thời gian để bẻ khoá hơn là thời gian tạo ra các khoá đó. Bitcoin cũng dựa trên nền tảng mã hoá này, do đó, nó vẫn còn là loại tiền tệ an toàn.
Nếu có thể tìm ra giải pháp hiệu quả cho những vấn đề NP-đầy đủ, bạn có thể tìm giải pháp hiệu quả cho tất cả các vấn đề NP. Điều này cho phép bạn giải quyết một loạt các vấn đề tối ưu hóa tương tự khác.
Nếu thành công trong việc chứng minh P bằng NP, bạn sẽ kiếm được ít nhất 1 triệu USD, thậm chí còn nhiều hơn thế nữa. Nếu không thành công cũng tốt, nó cho thấy các hệ thống mã hoá toàn cầu vẫn còn được đảm bảo an ninh.
(责任编辑:Thể thao)
下一篇:Nhân định, soi kèo Valencia vs Leganes, 22h15 ngày 9/2: Bầy dơi hồi sinh
Tin từ Sở TT&TT An Giang cho biết, Sở TT&TT đã xây dựng và ban hành Kế hoạch số 117/KH-STTTT ngày 31/10/2017 về Kiểm tra tình hình ứng dụng CNTT, chữ ký số và công tác đảm bảo an toàn an ninh thông tin trong cơ quan nhà nước năm 2017.
Mục đích của đợt kiểm tra này nhằm nắm bắt thực trạng ứng dụng công nghệ thông tin tại các cơ quan, đơn vị cũng như việc chấp hành các văn bản qui định, hướng dẫn của Trung ương, địa phương về lĩnh vực công nghệ thông tin. Nắm bắt tình hình cung cấp dịch vụ công trực tuyến, tình hình tiếp nhận và trả kết quả giải quyết thủ tục hành chính qua dịch vụ bưu chính công ích. Từ đó làm cơ sở để báo cáo UBND tỉnh về tình hình triển khai ứng dụng công nghệ thông tin năm 2017 và xét chọn giải thưởng ứng dụng công nghệ thông tin gắn với cải cách hành chính năm 2017.
Bên cạnh đó, Sở TT&TT An Giang sẽ kiểm tra công tác đảm bảo an toàn an ninh thông tin tại các cơ quan, đơn vị, từ đó xây dựng Báo cáo tình hình đảm bảo an toàn an ninh thông tin và đề xuất giải pháp khắc phục và định hướng triển khai trong năm 2018 và giai đoạn 2018 – 2020.
Nội dung kiểm tra tập trung vào các vấn đề chính như Cổng thông tin điện tử, Hệ thống thư điện tử của tỉnh, Phần mềm quản lý văn bản và điều hành trên môi trường mạng, Phần mềm quản lý một cửa (nếu có), đảm bảo an toàn an ninh thông tin, triển khai các dự án ứng dụng CNTT, ứng dụng Chữ ký số, Hội nghị truyền hình trực tuyến, Tình hình kiểm tra ứng dụng công nghệ thông tin của đơn vị tại các đơn vị trực thuộc, việc bố trí kinh phí và thực hiện bảo trì phần cứng, phần mềm ở cấp huyện.
" alt="An Giang: Kiểm tra việc ứng dụng chữ ký số và an toàn an ninh thông tin" />Các sản phẩm trên vẫn đang trong quá trình trù bị. Trong đó, mẫu iPad 9,7 inch dự kiến sẽ bước vào giai đoạn sản xuất đại trà vào quý I/2017. Hai mẫu iPad còn lại sẽ bắt đầu được sản xuất đại trà vào quý II năm nay, theo các nguồn tin thân thiết với chuỗi cung ứng của Apple.
Tuy nhiên, Táo khuyết có thể sẽ không công bố hay thậm chí phát hành các máy tính bảng đời mới này ra thị trường cho mãi tới nửa cuối năm 2017.
" alt="Apple sẽ trình làng 3 máy tính bảng mới trong năm 2017" />“Thiết kế điện tử PTIT” là cuộc thi được khoa Kỹ thuật Điện tử của Học viện Công nghệ Bưu chính Viễn thông tổ chức thường niên từ năm 2011 nhằm mục đích tạo thêm sân chơi, cơ hội để các sinh viên khoa Kỹ thuật Điện tử 1 nói riêng và sinh viên các ngành kỹ thuật của Học viện thể hiện niềm đam mê sáng tạo của mình đối với nghiên cứu và phát triển công nghệ mới; đồng thời khuyến khích, động viên phong trào sáng tạo trong học tập, nghiên cứu khoa học của sinh viên.
Theo thông tin từ Ban tổ chức, với cuộc thi “Thiết kế điện tử PTIT năm 2017”, trải qua vòng sơ khảo, trên cơ sở xem xét các tiêu chí như ý tưởng, tính thực tiễn, tính học thuật, khả năng xây dựng phần mềm, thiết kế phần cứng và mức độ hoàn thiện sản phẩm, Ban tổ chức và Ban giám khảo cuộc thi đã chọn 7 sản phẩm xuất sắc của các đội thi vào tranh tài trong đêm chung kết được tổ chức mới đây.
Trong đêm thi chung kết được tổ chức tại cơ sở đào tạo Hà Nội của PTIT, sau nhiều giờ thuyết trình của 7 đội thi về các sản phẩm, Ban giám khảo đã quyết định trao 1 giải Nhất cho đội IoT Team gồm 3 thành viên Phan Văn Hiện, sinh viên lớp 15ĐT1, Nguyễn Văn Chất, sinh viên D14ĐT1 và Nguyễn Huy Thông, lớp D14ĐT1, nhóm tác giả của sản phẩm “Hệ thống điều khiển nhà thông minh dựa trên OpenSource IoT Platform OpenHab”.
Sản phẩm giành giải Nhất cuộc thi “Thiết kế điện tử PTIT 2017” được xuất phát từ ý tưởng điều khiển các thiết bị điện trong gia đình một cách đơn giản và thuật tiện nhất. Nhóm sinh viên đã sử dụng những thiết bị "trong tầm tay" để điều khiển toàn bộ ngôi nhà theo thời gian thực trên giao diện web, mobile.
Hai sản phẩm “Nghiên cứu, thiết kế bộ công cụ xử lý âm thanh”, “Máy vẽ chữ 4Xidraw” đã mang về giải Nhì cuộc thi cho các đội Octave Team gồm các thành viên Phan Hoàng Anh - lớp D14DT2, Vũ Bá Dương - lớp D13DTMT; và Lab Team gồm các thành viên Nguyễn Ngoc Hưng - lớp D16DT3, Nguyễn Thị Kim Phượng - lớp D15DT3, Phạm Thị Oanh - lớp D14VT6.
" alt="Hệ thống điều khiển nhà thông minh giành giải Nhất thi “Thiết kế điện tử PTIT 2017”" />Chính phủ vừa ban hành Nghị định số 122/2017/NĐ-CP, trong đó, Nghị định quy định một số nội dung đặc thù về cơ chế quản lý tài chính và đánh giá hiệu quả hoạt động đối với doanh nghiệp kinh doanh xổ số. Nghị định số 122/2017/NĐ-CP bên cạnh những quy định cho doanh nghiệp kinh doanh xổ số nói chung còn có những nội dung quy định rõ việc xác định doanh thu thực tế từ hoạt động kinh doanh các sản phẩm xổ số tự chọn số điện toán của Vietlott tại địa bàn từng tỉnh, thành phố trực thuộc trung ương.
Cụ thể, Nghị định số 122/2017/NĐ-CP quy định, đối với phương thức phân phối vé xổ số tự chọn số điện toán thông qua thiết bị máy đầu cuối: Doanh thu từ hoạt động kinh doanh xổ số tự chọn số điện toán phát sinh từ các máy đầu cuối đăng ký bán vé xổ số tự chọn số điện toán trong địa giới hành chính từng tỉnh, thành phố trực thuộc Trung ương theo hợp đồng đại lý xổ số đã ký với Vietlott hoặc các cửa hàng, điểm bán vé do doanh nghiệp thiết lập trên địa bàn.
" alt="Quy định cơ chế quản lý tài chính riêng xổ số điện toán Vietlott" />Lịch thi đấu C1 Châu Âu tuần này - Lượt 5 vòng bảng
0H00 NGÀY 22/11
Spartak Moskva vs Maribor (bảng E)
Besiktas vs Porto (bảng G)
2H45 NGÀY 22/11
Sevilla vs Liverpool (bảng E)
Napoli vs Shakhtar Donetsk (bảng F)
Manchester City vs Feyenoord (bảng F)
Monaco vs Leipzig (bảng G)
Borussia Dortmund vs Tottenham (bảng H)
APOEL vs Real Madrid (bảng H)
0H00 NGÀY 23/11
CSKA Moskva vs Benfica (bảng A)
Qarabag vs Chelsea (bảng C)
2H45 NGÀY 23/11
Basel vs Manchester United (bảng A)
" alt="Lịch thi đấu Champions League 2017/2018 tuần này cho khán giả @" />Virus USB là một thảm họa với người dùng khi mà 10 cái USB thì 8 cái bị virus. Nguy hại do virus USB gây ra đã khiến Microsoft gần đây phải đưa ra các giải quyết loại bỏ tính năng Autorun ở các USB, bởi đây là con đường lây nhiễm virus. Nhiều loại virus vẫn tấn công qua USB dưới dạng giả mạo ổ đĩa, giả mạo thư mục, khi mở ổ đĩa ra thấy một con virus giả mạo file khi mở ổ đĩa giả mạo đó ra thì virus sẽ xâm nhập vào máy tính.
" alt="Bkav: 'Trên thế giới có virus gì thì Việt Nam có virus đó'" />
- ·Nhận định, soi kèo Aston Villa vs Tottenham, 00h35 ngày 10/2: Khách dừng cuộc chơi
- ·Game thủ phát sốt với tạo hình nhân vật y hệt Ariana Grande trong Final Fantasy Brave Exvius
- ·3 mẫu xe hatchback cỡ nhỏ dành cho phụ nữ chơi Tết
- ·Honda Wave Alpha 110 chính thức ra mắt tại Việt Nam, giá 17,8 triệu đồng
- ·Soi kèo góc Empoli vs AC Milan, 0h00 ngày 9/2
- ·Hội thảo an toàn, an ninh thông tin SoIS 2017 hứa hẹn đa dạng nội dung
- ·Cuộc đua đến chip 4nm: sân chơi của một mình Samsung
- ·Xe đua tự chế gây sốt vì công năng bất ngờ
- ·Nhận định, soi kèo Torino vs Genoa, 2h45 ngày 9/2: Điểm tựa sân nhà
- ·Bắc Kạn: Đánh giá 2 năm thực hiện công tác ATTT và chữ ký số
Tại Hội nghị về sản phẩm, dịch vụ an toàn thông tin (ATTT) mạng nội địa và đánh giá tình hình lây nhiễm phần mềm độc hại tại Việt Nam tổ chức ngày 8/11/2017, ông Vũ Ngọc Sơn, Phó Chủ tịch phụ trách mã độc của BKAV cho rằng, giải pháp ngăn chặn lây nhiễm virus, mã độc trong hệ thống thông tin của cơ quan nhà nước, các tổ chức, doanh nghiệp phải kết hợp giữa giải pháp kỹ thuật (các loại phần mềm diệt virus) với chính sách. Các cơ quan cần xây dựng chính sách bảo đảm an toàn an ninh khi sử dụng hệ thống thông tin nội bộ.
Theo ông Sơn, người sử dụng luôn là khâu yếu nhất trong chu trình bảo đảm an ninh thông tin. Dù chúng ta có tổ chức tập huấn, đào tạo bao nhiêu đi chăng nữa thì trong quá trình sử dụng người dùng cũng không tránh khỏi sơ suất. Ví dụ chỉ cần click vào một đường dẫn lạ, tải một phần mềm trên mạng, mở email có cài mã độc, mở file ẩn trong USB là máy tính của người dùng sẽ nhiễm virus và có thể xâm nhập cả hệ thống thông tin. Do đó, việc xây dựng một quy trình, một chính sách trong nội bộ cơ quan là khâu rất quan trọng để đảm bảo an toàn cho hệ thống, đồng thời phải kết hợp với các biện pháp hỗ trợ khác như phần mềm diệt virus, hệ thống cảnh báo nguy cơ mất an toàn.
Các cơ quan, tổ chức cần có chính sách để kiểm soát an ninh, kiểm soát hệ thống phần mềm diệt virus, kiểm soát cấu hình an ninh, kiểm soát việc chia sẻ dữ liệu. Phải có quy định đối với những máy tính quan trọng bắt buộc không được dùng USB, máy tính cần có phần mềm từ chối sử dụng USB, không cho người dùng cài đặt các phần mềm tùy tiện.
Theo bà Bùi Thị Huyền, đại diện Cục An toàn thông tin, (Bộ TT&TT), tình trạng tin tặc tấn công người dùng máy tính thông qua phần mềm độc hại ngày càng gây nguy hiểm cho người dùng. Phần mềm độc hại có thể lấy được dữ liệu từ máy tính người dùng rồi dùng mã độc tấn công phishing, truy cập bất hợp pháp. Phần mềm độc hại tấn công người dùng với hai mục tiêu chính: mục tiêu chính trị và mục tiêu kinh tế. Ví dụ như cuộc tấn công vào VietnamAirline có mang màu sắc chính trị. Với mục tiêu kinh tế, tin tặc tấn công người dùng với mục đích đánh cắp thông tin để tống tiền, đòi tiền chuộc hoặc sử dụng vào các mục đích phá hoại khác.
" alt="Thói quen của người dùng là kẽ hở lớn nhất để virus máy tính xâm nhập" />Tổng Giám đốc GM Việt Nam, Ông Sumito Ishii cho biết: "Nhu cầu mạnh mẽ hơn cho các sản phẩm chủ chốt của Chevrolet tại Việt Nam như Colorado, Cruze, Captiva và Orlando là minh chứng cho tin tưởng của khách hàng vào khả năng vận hành cũng như hiệu suất mang lại của các dòng xe này".
" alt="Năm 2016, Chevrolet Việt Nam bán gần 10.000 xe cho khách hàng" />“Hai năm trước khi lập chiến lược cho công ty, chúng tôi nhận ra rằng khách hàng mua sản phẩm của một hãng khi họ thích thương hiệu đó. Vì thế tất cả chiến lược của chúng tôi đều bắt đầu chuyển hướng tập trung vào khách hàng”, ông Ken nói. “Sự hài lòng của khách hàng, trải nghiệm của họ, yêu cầu của họ là ưu tiên lớn của chúng tôi. Từ việc dùng doanh số, lợi nhuận để đo hiệu quả của nhân viên, chúng tôi hoàn toàn chuyển sang đo xem một người tại Lenovo có làm hài lòng khách hàng hay không”.
Ken Wong là trong 14 lãnh đạo cao cấp nhất của Lenovo toàn cầu, cùng chịu trách nhiệm đưa ra các quyết định cho toàn tập đoàn. Ông cùng các lãnh đạo cao cấp của Lenovo khu vực và tại Việt Nam có buổi gặp gỡ các kênh phân phối của hãng tại Việt Nam hôm 14/11. Ông dành thời gian gặp gỡ một số phóng viên một ngày sau đó.
“Một khi khách hàng thích thương hiệu của bạn, họ sẽ mua hàng, từ đó lợi nhuận sẽ đến”, ông Ken nói.
“Chúng tôi đo lường sự hài lòng của khách hàng thông qua hàng trăm ngàn phản hồi trên mạng xã hội hàng tháng. Các phản hồi được ghi nhận và có đội ngũ chăm sóc để phản hồi những ý kiến đóng góp của khách hàng”, ông Ken tiếp tục. Chẳng hạn, chiếc ThinkPad X1 của Lenovo từng dùng một dàn phím ảo phía trên bàn phím nhưng vì khách hàng phản hồi cho rằng bàn phím bất tiện, công ty đã thay hàng phím đó bằng phím vật lý.
“Trước đây khi không có các mạng xã hội hay phần bình luận ở các trang thương mại điện tử thì chúng tôi không thể biết hết phản hồi của khách hàng. Giờ đây, bằng việc tận dụng công nghệ, chúng tôi có thể nghe được ý kiến của khách hàng ngay lập tức và điều chỉnh nhanh hơn”, Chủ tịch Lenovo châu Á Thái Bình Dương cho biết.
Chiến lược tập trung vào khách hàng đã mang đến các kết quả khả quan, ông Ken Wong nói. Trong suốt 32 quý liên tiếp, mảng máy tính của Lenovo tại châu Á Thái Bình Dương đều tăng trưởng và là công ty tăng trưởng nhanh nhất.
" alt="Lenovo và chiến lược 'ba làn sóng' để mở rộng thị trường toàn cầu" />Một số thương hiệu lớn như Mars, Lidl, Deutsche Bank và Adidas gỡ quảng cáo khỏi YouTube và Google sau khi tờ The Times phát hiện quảng cáo của họ chạy bên cạnh những video trẻ em chứa bình luận khiếm nhã bên dưới. HP, Sky và Diegeo cũng được cho là tạm ngừng quảng cáo trên hai nền tảng.
Người phát ngôn của Mars cho biết công ty bị sốc và kinh hoàng khi nhìn thấy quảng cáo xuất hiện bên cạnh những nội dung như vậy. Mars đã quyết định dừng mọi quảng cáo trực tuyến trên YouTube và Google toàn cầu ngay lập tức. Trước khi có bằng chứng về việc các biện pháp an toàn đã được thực thi, họ sẽ không quảng cáo trên YouTube và Google nữa. Phát ngôn viên của Cadbury cũng nói công ty đang tạm dừng quảng cáo và chờ câu trả lời rõ ràng từ YouTube. Trong khi đó, Lidl cho rằng đây là điều không thể chấp nhận được và thực tế những gì đang diễn ra cho thấy các chính sách nghiêm ngặt mà Google trấn an khách hàng là không hiệu quả. Adidas đang làm việc chặt chẽ với Google để ngăn tình trạng tái diễn.
" alt="YouTube bị tẩy chay vì các bình luận luyến ái dưới video trẻ em" />
- ·Nhận định, soi kèo Torino vs Genoa, 2h45 ngày 9/2: Điểm tựa sân nhà
- ·[DOTA 2] Những vị tướng sẽ giúp bạn leo rank nhanh nhất trong phiên bản 7.00
- ·Giám đốc công nghệ Uber toàn cầu: “Một người sếp tốt quan trọng hơn một công ty tốt”
- ·Đối thủ của Alibaba rót vào Tiki 1.000 tỷ đồng?
- ·Siêu máy tính dự đoán Celta Vigo vs Real Betis, 20h00 ngày 8/2
- ·Điểm qua những cặp đôi đồng tính được yêu thích trong anime
- ·Cần cân nhắc thêm Luật An ninh mạng để tránh chồng chéo
- ·[LMHT] Huni và Peanut nói gì sau chiến thắng khai màn của SKT T1?
- ·Kèo vàng bóng đá Wolfsburg vs Leverkusen, 21h30 ngày 8/2: Khách đáng tin
- ·Phó Thủ tướng Vũ Đức Đam: Thuê dịch vụ CNTT phải “đặt đầu bài” an toàn an ninh lên đầu tiên