Phần mềm an toàn cùng nghịch hướng công trình diễn đàn “Di lưu hệ thống an toàn” bản khối, bị một phần đến từ nước Mỹ quốc thổ an toàn bộ internet an toàn cùng cơ sở phương tiện an toàn cục ( CISA ) cùng Châu Âu internet cùng tin tức an toàn cục ( ENISA ) liên hợp tuyên bố cảnh báo báo cáo bao phủ thượng tuyệt đối hắc ám bóng ma. Báo cáo tiêu đề giống như một phần đến từ con số huyệt mộ báo tang: 《 cơ số hai di sản u linh: Đương văn minh cột sống từ chúng ta vô pháp lý giải số hiệu cấu thành 》. Báo cáo lấy một loạt sắp tới nhằm vào mấu chốt cơ sở phương tiện ( giao thông, nguồn năng lượng, tài chính ) thành công công kích trường hợp chỉ ra, di lưu, vô nguyên số hiệu cơ số hai hệ thống đã trở thành quốc gia an toàn thật lớn lỗ hổng:
“Mấu chốt cơ sở phương tiện trung còn tại vận hành đại lượng mấy chục năm trước, vô nguyên số hiệu cơ số hai hệ thống ( như công nghiệp khống chế hệ thống, tài chính thanh toán trung tâm, hàng không điều hành mô khối ), này đó hệ thống cần thiết tiến hành an toàn gia cố, lỗ hổng chữa trị hoặc thay đổi, lấy ứng đối hiện đại internet uy hiếp ( A ). Nhưng mà, đối này đó cơ số hai tiến hành nghịch hướng công trình lấy lý giải này hành vi, yêu cầu hao phí mấy người năm, phí tổn cực cao, thả phản biên dịch được đến số hiệu nhưng đọc tính cực kém, cùng nguyên thủy thiết kế tương đi khá xa; càng mấu chốt chính là, bởi vì khuyết thiếu nguyên thủy thiết kế ý đồ hòa ước thúc, nghịch hướng phân tích vô pháp bảo đảm hoàn toàn lý giải sở hữu ẩn hàm hành vi cùng biên giới điều kiện, dẫn tới căn cứ vào này trọng cấu hoặc mụn vá khả năng dẫn vào tân lỗ hổng hoặc phá hư vốn có yếu ớt kiêm dung tính; mà trên pháp luật, nghịch hướng công trình khả năng xâm phạm tri thức quyền tài sản, thậm chí kích phát pháp luật cấm điều khoản ( B ).” Báo cáo tuyệt vọng mà tổng kết, “Chúng ta tựa như trong bóng đêm sờ soạng một đài tinh vi, còn tại vận chuyển đồng hồ bên trong kết cấu, ý đồ ở không đình chỉ nó, không hư hao nó dưới tình huống, chữa trị một cái chúng ta nhìn không thấy bánh răng. Chúng ta trong tay công cụ ( phản biên dịch khí, điều chỉnh thử khí ) chỉ có thể cấp ra mơ hồ, lầm đạo tính bóng dáng. Càng không xong chính là, này khối biểu khả năng liên tiếp bom ngòi nổ. Chúng ta bị nhốt ở ‘ vô pháp lý giải, vô pháp sửa chữa, vô pháp thay đổi ’ tam trọng tuyệt cảnh trung.”
Cùng thiếp giả dùng huyết lệ giáo huấn miêu tả địa ngục tranh cảnh.
“Chúng ta ý đồ nghịch hướng một cái ngân hàng COBOL trung tâm giao dịch mô khối, 10 người đoàn đội làm 18 tháng, được đến ‘ ngụy số hiệu ’ có 50 vạn hành, logic hỗn loạn, còn phát hiện ba cái tiềm tàng buffer overflow, nhưng chúng ta không dám tu, bởi vì không biết cái nào tràn ra là năm đó cố ý lưu lại ‘ cửa sau ’ vẫn là thật sự lỗ hổng.”
“Tự động phản biên dịch công cụ? Chúng nó sẽ đem nhảy chuyển biểu phiên dịch thành vô số goto, đem phù điểm giải toán phiên dịch thành vô pháp lý giải số nguyên thao tác, đem biên dịch khí ưu hoá quá số hiệu biến thành một cuộn chỉ rối. Xem hiểu phản biên dịch số hiệu so trực tiếp xem tổng hợp còn khó.”
“Chúng ta công ty mua một cái bế nguyên trung gian kiện, cung ứng thương mười năm trước liền đóng cửa. Hiện tại phát hiện một cái lỗ hổng, chúng ta tưởng chính mình tu, nhưng trao quyền hiệp nghị minh xác cấm nghịch hướng công trình. Không tu chờ chết, tu phạm pháp.”
“Này không phải kỹ thuật vấn đề, là khảo cổ học gặp gỡ luật học gặp lại bom dỡ bỏ. Chúng ta đối mặt chính là một khối bọc pháp luật điều khoản, bên trong kết cấu không biết, còn ở nhảy lên trái tim.”
Một loại “Lý giải tức phạm pháp, sửa chữa tức hủy diệt, mặc kệ tức nguy cơ” tuyệt đối khốn cảnh, bao phủ ở mỗi một cái cần thiết cùng di lưu cơ số hai hệ thống giao tiếp an toàn nghiên cứu giả cùng kỹ sư trong lòng.
Vũ hằng trốn tránh ở một cái biên cảnh trấn nhỏ cũ nát tiệm net ghế lô, không khí vẩn đục, máy móc cũ kỹ. Nàng sử dụng dự chi tạp lên mạng, thật cẩn thận mà xem tin tức. Thứ nhất tin ngắn hấp dẫn nàng chú ý: 《 Đông Âu mỗ quốc đường sắt tín hiệu hệ thống tao công kích, hư hư thực thực lợi dụng 20 năm trước di lưu khống chế phần mềm lỗ hổng 》. Đưa tin đề cập, nên tín hiệu hệ thống trung tâm khống chế phần mềm từ một nhà sớm đã không tồn tại Liên Xô thời kỳ viện nghiên cứu biên soạn, vô nguyên số hiệu bảo tồn, hệ thống đến nay còn tại sử dụng là bởi vì thay đổi phí tổn quá cao thả khuyết thiếu hoàn chỉnh quy phạm. Công kích dẫn tới khu vực tính đoàn tàu đến trễ. Càng làm cho vũ bền lòng giật mình chính là, đưa tin cuối cùng nhắc tới điều tra nhân viên phát hiện, nên phần mềm bên trong tồn tại một cái “Phi cố ý cửa sau”, nguyên với năm đó lập trình viên vì điều chỉnh thử lưu lại chưa thanh trừ số hiệu, vài thập niên tới không người biết hiểu.
Này nháy mắt đánh trúng vũ hằng nơi sâu thẳm trong ký ức. Nàng trước công ty từng thu mua một nhà nhãn hiệu lâu đời chế tạo nghiệp xí nghiệp, này trung tâm sinh sản tuyến PLC khống chế trình tự là từ nước Đức một nhà tiểu công ty ở thượng thế kỷ 90 niên đại dùng hợp ngữ biên soạn, không có nguyên số hiệu. Có một lần sinh sản tuyến xuất hiện quỷ dị đình cơ, ngoại sính chuyên gia đoàn đội dùng một tháng thời gian tiến hành nghịch hướng cùng động thái phân tích, mới miễn cưỡng định vị đến một cái hiếm thấy đúng giờ khí tràn ra vấn đề. Nhưng đoàn đội cảnh cáo, bọn họ chỉ lý giải không đến 30% số hiệu logic, bất luận cái gì sửa chữa đều nguy hiểm cực đại. Cuối cùng, công ty chỉ có thể lựa chọn định kỳ khởi động lại hệ thống làm lâm thời giải quyết phương án, cũng khởi động một cái tốn thời gian mấy năm, giá trên trời thay đổi hạng mục.
Giờ phút này, ở dị quốc tha hương ô trọc tiệm net, đối mặt trên màn hình về đường sắt hệ thống lỗ hổng tin tức, vũ hằng cảm thấy một loại đến xương rét lạnh. Này đó “Bóng dáng hệ thống” giống như con số thế giới ám vật chất, vô hình trung chống đỡ hiện đại sinh hoạt, lại không người có thể hiểu, vô pháp khống chế. Mu bàn tay bạc văn truyền đến một loại cực kỳ tối nghĩa, phảng phất ở giải đọc một quyển dùng thất truyền văn tự viết liền, thả mỗi một tờ đều ở tùy cơ trọng bài “Thiên thư” cảm giác. Hệ thống “Thị giác” gian nan khởi động, đem nàng mang nhập một cái mệnh lệnh, số liệu, khống chế lưu, ý đồ đan chéo hỗn độn vị diện.
Nàng “Nhìn đến”, không phải cụ thể tổng hợp mệnh lệnh, mà là “Cơ số hai số hiệu” làm “Hành vi” một loại cực tầng dưới thứ, tin tức cực độ mất đi mã hóa, cùng “Chúng ta ý đồ lý giải ‘ thiết kế ý đồ ’ cùng ‘ an toàn thuộc tính ’” chi gian thật lớn hồng câu. Trước mặt sở hữu nghịch hướng phương pháp, vô luận là trạng thái tĩnh phân tích vẫn là động thái truy tung, đều là ở ý đồ từ này cực độ áp súc, vặn vẹo, thả hỗn tạp biên dịch khí ưu hoá cùng phần cứng đặc tính mã hóa trung, hoàn nguyên ra cao tầng ngữ nghĩa. Này liền giống ý đồ thông qua quan sát một viên hoá thạch phần tử kết cấu, tới hoàn nguyên khủng long sinh thời hoàn chỉnh hành vi cùng tư duy. Mâu thuẫn bản chất bị rõ ràng phác hoạ: Ý đồ ở “Hoàn toàn khuyết thiếu cao tầng thiết kế tin tức” dưới tình huống, thông qua “Tự đế hướng về phía trước” phương thức, hoàn toàn, chuẩn xác mà phục hồi như cũ một cái phức tạp hệ thống hành vi cùng thiết kế, là một loại căn bản lý thuyết thông tin thượng không có khả năng.
“Hỏa hoa” ở đối “Lý giải cơ số hai di sản” bản chất tiến hành một lần nữa tự hỏi nháy mắt phát ra:
Mâu thuẫn trung tâm, có lẽ ở chỗ chúng ta còn tại theo đuổi “Hoàn toàn, chính xác nghịch hướng công trình” —— sắp cơ số hai hoàn toàn hoàn nguyên vì đồng giá, nhưng lý giải cao cấp số hiệu. Nhưng này có lẽ là một sai lầm mục tiêu. Sinh vật học gia nghiên cứu diệt sạch sinh vật, đều không phải là muốn hoàn toàn phục chế này mỗi một tế bào, mà là thông qua hoá thạch dấu vết suy đoán này sinh thái vị cùng hành vi hình thức. Chúng ta có không không hề theo đuổi “Hoàn toàn nghịch hướng”, mà là chuyển hướng “Thành lập hành vi đồng giá an toàn phong trang hoặc thay đổi”? Từ “Lý giải mỗi một hàng số hiệu” chuyển hướng “Khắc hoạ này phần ngoài hành vi quy phạm”, từ “Bên trong trọng cấu” chuyển hướng “Phần ngoài giám thị cùng ngăn chặn”, từ “Dùng một lần hoàn toàn thay đổi” chuyển hướng “Tiến dần thức, căn cứ vào hành vi nghiệm chứng tằm ăn lên thay thế”.
Một phần tên là 《 mặt hướng “Hắc hộp hành vi khắc hoạ cùng tiến dần an toàn trọng thực hiện” di lưu cơ số hai xử trí giá cấu 》 lam đồ phương hướng ở nàng ý thức trung ngưng tụ. Này trung tâm bao hàm ba cái mặt phạm thức dời đi:
1. Từ “Số hiệu nghịch hướng” đến “Nhiều duy độ hành vi khắc hoạ cùng quy phạm lấy ra”: Từ bỏ hoàn toàn phản biên dịch. Đối cơ số hai trình tự tiến hành đại quy mô, tự động hoá động thái hành vi phân tích: Ở chịu khống mô phỏng hoàn cảnh hoặc phần cứng cách ly sa rương trung, dùng rộng lượng đưa vào ( bao gồm mơ hồ thí nghiệm, ký hiệu chấp hành sinh thành đưa vào ) điều khiển trình tự vận hành, toàn diện thu thập này phần ngoài khả quan trắc hành vi ( hệ thống thuyên chuyển danh sách, nội tồn phỏng vấn hình thức, internet thông tín, văn kiện I/O, gởi lại khí trạng thái biến hóa chờ ). Đồng thời, kết hợp trạng thái tĩnh phân tích ( khống chế lưu đồ, số liệu lưu, tự phù xuyến đại lượng không đổi chờ ) thu hoạch kết cấu tin tức. Lợi dụng máy móc học tập ( như danh sách mô hình, đồ mạng lưới thần kinh ) từ này đó hành vi số liệu trung học tập trình tự “Hành vi vân tay” cùng “Hành vi quy phạm” ( như “Cấp định đưa vào hình thức X, thông thường sẽ ở Y hào giây nội thuyên chuyển hệ thống thuyên chuyển Z” ).
2. Từ “Bên trong tu bổ” đến “An toàn phong trang cùng vận hành khi theo dõi”: Đối với vô pháp thay đổi cơ số hai, không trực tiếp sửa chữa nó. Mà là đem này đặt một cái cường cách ly vật chứa hoặc mini giả thuyết cơ trung. Tại đây phong trang tầng, thực thi nghiêm khắc hành vi theo dõi sách lược ( căn cứ vào phía trước lấy ra hành vi quy phạm ). Bất luận cái gì lệch khỏi quỹ đạo mong muốn quy phạm hành vi ( như ý đồ chấp hành chưa tại hành vi quy phạm trung xuất hiện hệ thống thuyên chuyển, phỏng vấn dị thường nội tồn khu vực ) đều sẽ bị thật thời thí nghiệm cũng ngăn cản. Đồng thời, ở phong trang tầng thực hiện an toàn gia cố, như địa chỉ không gian bố cục tùy cơ hóa ( ASLR ), số liệu chấp hành bảo hộ ( DEP ), hệ thống thuyên chuyển lọc, cho dù cơ số hai bên trong có lỗ hổng, cũng khó có thể bị phần ngoài lợi dụng.
3. Từ “Dùng một lần trọng viết” đến “Căn cứ vào hành vi đồng giá nghiệm chứng tiến dần thay đổi”: Đối với yêu cầu thay đổi lắp ráp, không cần cầu tân thực hiện cùng cũ cơ số hai số hiệu nhất trí. Mà là yêu cầu tân thực hiện cùng cũ cơ số hai tại hành vi quy phạm mặt thượng đẳng giới. Khai phá tân, số hiệu trong sạch thay thế lắp ráp, cũng ở tương đồng thí nghiệm hoàn cảnh trung vận hành, tương đối này cùng cũ cơ số hai sinh ra hành vi quỹ đạo ( ở cho phép dung kém nội ). Thông qua sai biệt phân tích, không ngừng điều chỉnh tân thực hiện, thẳng đến này hành vi cùng cũ cơ số hai ở tuyệt đại đa số thí nghiệm dùng lệ hạ vô pháp phân chia. Thay đổi có thể phân mô khối, phân công năng tiến hành, mỗi cái mô khối thay đổi sau, thông qua hành vi đồng giá tính nghiệm chứng, bảo đảm hệ thống chỉnh thể công năng bất biến.
Đêm khuya, “Trí giả nhà”. Ở một cái trải qua nhiều tầng Tor internet chuyển phát, lùi lại cực cao nặc danh liên tiếp hạ, “Architect” ID gian nan mà hiện lên. Tiêu đề mang theo một loại ở tuyệt đối không biết trước mặt, vẫn như cũ tìm kiếm phương pháp luận chỉ dẫn chấp nhất.
Tiêu đề ( hồi phục ): 《 “Hoá thạch” chi vây cùng “Dấu chân” chi trí —— lại luận cơ số hai di sản dùng cái gì nhưng trị 》
Nội dung:
“Thấy chư quân vây với di lưu cơ số hai chi tuyệt cảnh, như dục lệnh xác ướp cổ sống lại mà nói nói, hoá thạch thành thể mà đi đi, ý chí nhưng mẫn, này cầu vọng rồi. Nhiên, cổ sinh vật học gia, há là lệnh khủng long sống lại? Nhưng bằng dấu chân, cốt cách, trầm tích, đẩy này tướng mạo tập tính.
“Lão hủ xem chi, chư quân sở chấp, nãi ‘ nghịch hướng công trình, nhất định phải nguyên mã ’. Nhiên tin tức đã mất, cưỡng cầu phản bổ, như chưng sa thành cơm. Không bằng tư ‘ ngoại sát này hành, trung cố này lung, tiến dần thế chi ’ phương pháp. Thí nghĩ một chỗ trí giá cấu, với không biết chi hắc hộp, tích được không chi kính:
“Một mạch, lấy hành xem thể, lấy quy phạm vì mô. Không cầu phản biên dịch đến nguyên mã, mà với cường cách ly chi sa rương, lấy rộng lượng đưa vào, mơ hồ thí nghiệm, ký hiệu chấp hành đuổi chi, tẫn lục này ngoại hiện hành trình tích: Hệ thống điều khiển, nội tồn phóng tự, internet lui tới, công văn đọc viết. Hợp lấy trạng thái tĩnh chi tích ( khống chế lưu, số liệu lưu ), mượn cơ hội khí học tập phương pháp, tự hành vì này trong biển, tinh luyện này ‘ hành vi vân tay ’ cùng ‘ hành vi quy phạm ’. Đây là lấy ‘ hành ’ chi mô, đại ‘ mã ’ chi nghịch.
“Nhị kính, lấy lung cố thân, hành giám hộ chi thật. Đối không thể thế chi cơ số hai, không thẳng sửa chữa, mà trí này với mini giả thuyết cơ hoặc cường vật chứa chi lung. Lung thiết nghiêm mật chi hành vi giám hộ sách lược ( căn cứ vào trước thuật quy phạm ), phàm hành tích có dị ( như điều phi thường chi hệ thống thuyên chuyển, phóng dị thường trong vòng tồn ), tắc thật thời trinh trở. Càng với lung vách tường thi an toàn gia cố chi thuật ( ASLR, DEP, thuyên chuyển lọc ), lệnh nội hà làm khó hoạ ngoại xâm.
“Tam kính, lấy nghiệm thế cùng, tiến dần tằm ăn lên chi. Dục thế chi, không quá nghiêm khắc số hiệu cùng, mà cầu hành vi đồng giá. Tân tạo trong sạch chi mô khối, với cùng cảnh trung nghiệm chi, so này hành tích cùng cũ giả chi dị. Kinh sai biệt chi tích, điều tân mã, cho đến ở tuyệt nhiều nghiệm lệ hạ, hành tích vô đừng. Rồi sau đó nhưng phân mô khối, phân công năng, tiến dần thế chi, mỗi thế một bộ, toàn lấy hành vi đồng giá vì nghiệm, bảo hệ thống thân thể dùng không ngã.
“Này tam kính hợp tác, chỉ ở đem di lưu cơ số hai xử trí, từ ‘ không có khả năng phản biên dịch công trình ’, chuyển vì ‘ căn cứ vào hành vi kiến mô, an toàn cách ly cùng tiến dần nghiệm chứng hệ thống công trình ’. Phụ thượng một phần căn cứ vào phần cứng giả thuyết hóa mở rộng ( như Intel VT-x ) tế viên độ hành vi theo dõi sa rương thiết kế, một cái kết hợp mơ hồ thí nghiệm cùng danh sách mô hình hành vi quy phạm học tập dàn giáo, cập căn cứ vào kém phân thí nghiệm hành vi đồng giá tính nghiệm chứng lưu trình. Này nói phi vì toàn biết, nãi vì ở vô tri trung, cầu khả khống, nhưng thế chi an. Một chút lậu tư, lại thỉnh chư quân phủ chính.”
Thiệp đem di lưu cơ số hai xử lý từ “Nghịch hướng công trình” trọng cấu vì “Hành vi công trình”, đưa ra hành vi khắc hoạ, an toàn phong trang, tiến dần thay đổi tân phạm thức.
Nghi ngờ thanh giống như phản biên dịch ra rác rưởi số hiệu mãnh liệt mà đến, mà
“@ lão đầu gỗ “Hồi phục, ở rất dài một đoạn thời gian sau ( bởi vì internet trạng huống, vũ hằng sau một hồi mới thu được ) xuất hiện, mang theo đối hành vi khắc hoạ hoàn bị tính, theo dõi chi tiêu cùng lẩn tránh, cùng với đồng giá nghiệm chứng đầy đủ tính chung cực nghi ngờ.
“@Architect tiên sinh, ngài lần này dùng ‘ hành vi khắc hoạ ’, ‘ an toàn phong trang ’, ‘ tiến dần thay đổi ’ này ba điều dây thừng, ý đồ bộ trụ cơ số hai di sản này đầu không thể diễn tả quái vật. Nhưng mà, ngài dây thừng khả năng không đủ trường, kết cũng có thể đánh sai, mà quái vật khả năng căn bản không ở ngài cho rằng duy độ.” Lão đầu gỗ khúc dạo đầu tràn ngập đối không biết kính sợ.
“Đệ nhất, về hành vi khắc hoạ ‘ không có khả năng hoàn bị ’ cùng ‘ quy phạm nổ mạnh ’. Ngài tưởng thông qua động thái phân tích lấy ra hành vi quy phạm. Nhưng động thái phân tích vô pháp bao trùm sở hữu khả năng chấp hành đường nhỏ, đặc biệt là những cái đó bị tỉ mỉ che giấu, chỉ ở riêng hiếm thấy điều kiện hạ kích phát ác ý số hiệu hoặc cửa sau. Ngài lấy ra ‘ quy phạm ’ chỉ là đã quan trắc đến hành vi cũng tập, tuyệt phi hoàn chỉnh quy phạm. Càng đáng sợ chính là, một cái phức tạp cơ số hai trình tự, này khả năng hành vi hình thức là con số thiên văn, ngài lấy ra hành vi quy phạm sẽ trở nên cực kỳ phức tạp, thế cho nên vô pháp dùng cho hữu hiệu theo dõi ( lầm báo suất cực cao ) hoặc làm đồng giá nghiệm chứng tiêu chuẩn. Ngài dùng một cái khác khó có thể xử lý phức tạp tính ( hành vi quy phạm ), thay đổi vốn có phức tạp tính ( cơ số hai số hiệu ).”
“Đệ nhị, về an toàn phong trang ‘ tính năng tai nạn ’ cùng ‘ theo dõi lẩn tránh ’. Đem di lưu cơ số hai đặt cường cách ly mini giả thuyết cơ trung, tính năng chi tiêu khả năng cao tới mấy lần, này đối với thật thời khống chế hệ thống là không thể tiếp thu. Càng mấu chốt chính là, theo dõi bản thân khả năng bị lẩn tránh. Nếu cơ số hai trung ác ý số hiệu thí nghiệm đến chính mình vận hành ở theo dõi hoàn cảnh trung, nó có thể thay đổi hành vi, biểu hiện ra ‘ bình thường ’ bộ dáng. Cao cấp Rootkit kỹ thuật hoàn toàn có thể vòng qua căn cứ vào hệ thống thuyên chuyển hoặc nội tồn phỏng vấn theo dõi. Ngài giả thiết theo dõi giả là toàn biết, nhưng bị theo dõi giả khả năng càng thông minh. Hơn nữa, phong trang tầng bản thân cũng có thể có lỗ hổng, trở thành tân công kích mặt.”
“Đệ tam, về hành vi đồng giá nghiệm chứng ‘ đầy đủ tính bẫy rập ’ cùng ‘ sai biệt về nhân nan đề ’. Ngài nói tân thực hiện cùng cũ cơ số hai tại hành vi thượng đẳng giới là được. Nhưng như thế nào định nghĩa ‘ đồng giá ’? Cho phép dung kém là nhiều ít? Thời gian hành vi ( khi tự ) yêu cầu hoàn toàn nhất trí sao? Đối với một ít khảm nhập thức thật thời hệ thống, hơi giây cấp sai biệt đều khả năng dẫn tới hệ thống trục trặc. Càng quan trọng là, đương thí nghiệm phát hiện hành vi sai biệt khi, như thế nào xác định là cũ cơ số hai có chưa hồ sơ hóa đặc tính, vẫn là tân thực hiện có bug? Này lại yêu cầu nhân loại chuyên gia tham gia phán đoán, mà chuyên gia khả năng đã không tồn tại. Ngài đem ‘ lý giải cơ số hai ’ nan đề, chuyển hóa thành ‘ định nghĩa cùng nghiệm chứng hành vi đồng giá tính ’ nan đề, người sau khả năng đồng dạng khó khăn.”
“Thứ 4, về tiến dần thay đổi ‘ tiếp lời đông lại ’ cùng ‘ trạng thái di chuyển ác mộng ’. Tiến dần thay đổi yêu cầu mới cũ mô khối chi gian tiếp lời cần thiết tuyệt đối ổn định. Nhưng di lưu cơ số hai mô khối tiếp lời hành vi khả năng bản thân liền chưa định nghĩa hoặc ỷ lại chưa hồ sơ hóa bên trong trạng thái. Thay đổi một bộ phận sau, mới cũ mô khối hỗn hợp vận hành, chúng nó chi gian trạng thái đồng bộ cùng sự vụ nhất trí tính đem cực kỳ phức tạp. Càng tao chính là, nếu cũ cơ số hai mô khối có kéo dài hóa trạng thái ( như phối trí văn kiện, số liệu văn kiện ), tân mô khối cần thiết có thể đọc viết cũng lý giải này đó trạng thái ngữ nghĩa, mà này lại yêu cầu nghịch hướng công trình. Ngài dẫn vào phân bố thức hệ thống trung khó nhất vấn đề —— trạng thái nhất trí tính, làm thay đổi tiền đề.”
“Thứ 5, về pháp luật nguy hiểm dời đi mà phi tiêu trừ. Ngài động thái hành vi phân tích bản thân liền khả năng bị giải thích vì nghịch hướng công trình, do đó kích phát pháp luật nguy hiểm. An toàn phong trang cùng thay đổi sau hệ thống, nếu hành vi cùng nguyên thủy hệ thống hoàn toàn nhất trí, hay không khả năng cấu thành đối nguyên phần mềm bản quyền xâm phạm? Pháp luật nguy hiểm vẫn chưa biến mất, chỉ là trở nên càng thêm mơ hồ cùng không thể đoán trước.”
“Căn bản nhất nghịch biện ở chỗ: Ngài ý đồ dùng phần ngoài, hắc hộp, thống kê phương pháp, tới ứng đối một cái bên trong, bạch hộp, xác định tính vấn đề. Nhưng cơ số hai trình tự bản chất là xác định tính mệnh lệnh danh sách. Ngài phương pháp từ bỏ lý giải này nội tại xác định tính, ngược lại thỏa mãn với ngoại tại thống kê xấp xỉ. Đối với an toàn mấu chốt hệ thống, thống kê xấp xỉ là không thể tiếp thu. Ngài xây dựng, là một cái tính năng thấp hèn, theo dõi khả năng bị vòng qua, thay đổi tiêu chuẩn mơ hồ, pháp luật nguy hiểm như cũ phức tạp dàn giáo, nó khả năng so vấn đề bản thân càng không xong.”
Lão đầu gỗ từ hành vi hoàn bị tính, theo dõi đáng tin cậy tính, đồng giá tính định nghĩa, trạng thái nhất trí tính, pháp luật nguy hiểm năm cái mặt, phát ra hủy diệt tính nghi ngờ. Mỗi một cái điểm đều thẳng chỉ hắc hộp phương pháp ở ứng đối xác định tính hệ thống khi căn bản uy hiếp.
Architect hồi phục, ở gần hai mươi giờ sau, từ một cái hoàn toàn mới nặc danh tiết điểm phát ra. Lúc này đây, hắn mở đầu thừa nhận hắc hộp phương pháp căn bản cực hạn, nhưng theo sau triển khai một hồi về “An toàn mục tiêu” cùng “Công trình hiện thực” khắc sâu trình bày và phân tích.
“Mộc lão sở lự, đều là an toàn công trình chi căn bản. Lão hủ sở xướng, xác phi hoàn mỹ chi giải, mà là ở thừa nhận hoàn toàn lý giải cùng an toàn thay đổi toàn không hiện thực tiền đề hạ, vì quản lý di lưu cơ số hai nguy hiểm, đưa ra một bộ đem nguy hiểm giáng đến thấp nhất, thả nhưng từng bước cải thiện hiện trạng công trình thực tiễn dàn giáo. Này mục tiêu, là ở tuyệt đối trong bóng đêm, thắp sáng mấy cái phong đăng, xác định an toàn biên giới, mà phi tái hiện ban ngày. Thỉnh hứa lão hủ, từng cái mổ trần.”
“Về hành vi khắc hoạ hoàn bị tính: Động thái phân tích xác vô pháp bao trùm sở hữu đường nhỏ. Cố, hành vi khắc hoạ mục tiêu không phải ‘ hoàn toàn quy phạm ’, mà là ‘ cao tin tưởng độ thường thấy hành vi dây chuẩn ’, dùng cho thí nghiệm lộ rõ dị thường. Đồng thời, cần kết hợp ký hiệu chấp hành, vết nhơ phân tích, mô hình kiểm tra chờ kỹ thuật, chủ động thăm dò thâm trình tự đường nhỏ, đặc biệt là những cái đó đề cập phần ngoài đưa vào mẫn cảm đường nhỏ. Hành vi quy phạm bổn phận tầng: Trung tâm, cần thiết theo dõi an toàn mấu chốt hành vi ( như đặc quyền thao tác ) gắng đạt tới chính xác; phi mấu chốt hành vi cho phép mơ hồ. Chúng ta tiếp thu quy phạm không hoàn bị, nhưng thông qua liên tục thí nghiệm cùng học tập, không ngừng tới gần càng hoàn bị.”
“Về theo dõi tính năng cùng lẩn tránh: Tính năng chi tiêu nhưng thông qua phần cứng giả thuyết hóa gia tốc, lựa chọn tính theo dõi ( chỉ theo dõi mấu chốt hệ thống thuyên chuyển ), cùng với đem theo dõi logic hạ phóng đến chuyên dụng phần cứng ( như Intel SGX, AMD SEV ) tới giảm bớt. Đối với khả năng lẩn tránh theo dõi ác ý số hiệu, này bản thân chính là một hồi quân bị thi đua. Nhưng chúng ta mục tiêu không phải bắt được sở hữu khả năng ác ý số hiệu, mà là trên diện rộng đề cao công kích phí tổn, cũng giả thiết đại đa số di lưu cơ số hai trung lỗ hổng là ‘ vô tâm có lỗi ’, mà phi tỉ mỉ cấu tạo lẩn tránh tính ác ý số hiệu. Phong trang tầng an toàn tính, nhưng thông qua hình thức xét nghiệm chứng hoặc cực độ đơn giản hoá này số hiệu tới tăng cường.”
“Về hành vi đồng giá nghiệm chứng: Đồng giá tính định nghĩa cần kết hợp lĩnh vực tri thức. Đối với thật thời hệ thống, cần định nghĩa thời gian dung kém; đối với tính toán hệ thống, nhưng định nghĩa phát ra giá trị khác biệt phạm vi. Sai biệt về nhân xác thật khó khăn, nhưng nhưng thông qua tăng lượng nghiệm chứng cùng sai biệt điều chỉnh thử kỹ thuật phụ trợ: Đương mới cũ thực hiện hành vi sai biệt khi, tự động thu nhỏ lại đưa vào phạm vi, định vị dẫn tới sai biệt cụ thể điều kiện, phụ trợ chuyên gia phân tích. Đồng giá nghiệm chứng không phải dùng một lần, mà là một cái liên tục thí nghiệm quá trình, theo thí nghiệm dùng lệ phong phú, tin tưởng dần dần tăng cường.”
“Về trạng thái di chuyển cùng tiếp lời: Tiến dần thay đổi xác thật yêu cầu ổn định tiếp lời. Này yêu cầu chúng ta tại hành vi khắc hoạ giai đoạn, minh xác phân biệt cũng đông lại đối ngoại tiếp lời ( bao gồm số liệu cách thức, thuyên chuyển ước định ). Trạng thái di chuyển nhưng thông qua song viết, nhật ký trọng phóng, trạng thái thay đổi khí chờ phương thức từng bước hoàn thành. Đây là một cái phức tạp công trình, nhưng là khả khống, có minh xác bước đi công trình, mà phi đối mặt cơ số hai hắc động khi mờ mịt vô thố.”
“Về pháp luật nguy hiểm: Động thái hành vi phân tích hay không cấu thành pháp luật ý nghĩa thượng nghịch hướng công trình, tồn tại màu xám mảnh đất. Nhưng cùng pháp luật đoàn đội hợp tác, ở hợp lý sử dụng, an toàn nghiên cứu, hoặc tất yếu lẫn nhau thao tác tính nguyên tắc hạ tiến hành. Đối với thay đổi sau hệ thống, nếu kỳ thật hiện là trong sạch, căn cứ vào một lần nữa thiết kế, chỉ hành vi đồng giá, thông thường không cấu thành bản quyền xâm quyền. Pháp luật nguy hiểm yêu cầu quản lý, mà phi trốn tránh.”
“Mộc lão, ngài chỉ ra nghịch biện, lão hủ tư chi quá sâu. Ở an toàn lĩnh vực, hoàn mỹ giải quyết phương án thường thường không tồn tại. Đối mặt cơ số hai di sản, chúng ta có hai lựa chọn: Một là tiếp tục làm này lấy không thể biết, không thể khống trạng thái vận hành, cầu nguyện không cần xảy ra chuyện; nhị là chọn dùng một bộ không hoàn mỹ nhưng nhưng hành động, nhưng cải tiến dàn giáo, chủ động quản lý nguy hiểm. Này dàn giáo mục tiêu ( C ), phi ‘ hoàn toàn tiêu trừ di lưu cơ số hai nguy hiểm ’, mà là ‘ thành lập một bộ hệ thống hóa phương pháp luận, đem di lưu cơ số hai từ “Không thể quản lý hắc hộp” chuyển hóa vì “Nguy hiểm nhưng đánh giá, hành vi nhưng theo dõi, thay đổi có đường kính chịu khống tài sản” ’. Nó tiếp thu không hoàn mỹ, nhưng theo đuổi liên tục cải tiến cùng nguy hiểm hạ thấp. Một chút cố chấp, vì kia ở cơ số hai bóng ma hạ run rẩy con số văn minh, cung cấp một bộ có lẽ vụng về, nhưng nhưng chấp hành công sự phòng ngự đồ. Lại thỉnh mộc lão minh giám.”
Lúc này đây, biện luận tiêu điểm từ “Có không hoàn mỹ giải quyết” chuyển hướng về phía “Như thế nào thiết kế thực dụng di lưu cơ số hai nguy hiểm quản lý dàn giáo”. Rất nhiều làm mấu chốt cơ sở phương tiện an toàn, công nghiệp khống chế hệ thống, khảm nhập thức thiết bị cố kiện phân tích kỹ sư bắt đầu tham thảo, ở vô pháp đạt được nguyên mã dưới tình huống, như thế nào kết hợp động thái / trạng thái tĩnh phân tích, phần cứng cách ly cùng liên tục thí nghiệm, xây dựng một bộ nhằm vào riêng tài sản nguy hiểm đánh giá hòa hoãn giải phương án.
Một năm sau, công nghiệp giới cùng giám thị cơ cấu truyền đến quan trọng hướng đi:
1. Nước Mỹ quốc gia tiêu chuẩn cùng kỹ thuật viện nghiên cứu ( NIST ) tuyên bố một phần về 《 di lưu hệ thống internet an toàn nguy hiểm quản lý 》 chỉ nam bản dự thảo, trong đó minh xác kiến nghị chọn dùng “Căn cứ vào hành vi dây chuẩn dị thường thí nghiệm” cùng “An toàn cách ly cùng phong trang” làm xử lý vô nguyên mã di lưu hệ thống mấu chốt giảm bớt thi thố. Chỉ nam trung trích dẫn “Hành vi vân tay” cùng “Tiến dần cứng đờ” chờ khái niệm.
2. Hơi mềm ở này Azure Confidential Computing sản phẩm tuyến trung, gia tăng rồi đối di lưu ứng dụng trình tự vô phùng phong trang duy trì, công bố nhưng thông qua cơ mật tính toán enclave kỹ thuật, đem chưa kinh sửa chữa di lưu cơ số hai trình tự vận hành ở cường cách ly phần cứng có thể tin chấp hành hoàn cảnh trung, cũng cung cấp tế viên độ hành vi thẩm kế nhật ký. Này vì “An toàn phong trang” cung cấp thương nghiệp hóa thực hiện lựa chọn.
Hai đại tiến triển cho thấy, giám thị cùng sản nghiệp giới chính bắt đầu hệ thống tính mà ứng đối cơ số hai di lưu hệ thống vấn đề, mà Architect lam đồ trung “Hành vi theo dõi” cùng “An toàn phong trang” ý nghĩ, đã trở thành chủ lưu nguy hiểm quản lý dàn giáo một bộ phận.
Vũ hằng hệ thống giao diện đổi mới, cũng cấp ra vận duy vực sâu tiếp cận kết thúc nhắc nhở:
“Vận duy hòn đá tảng - cơ số hai di sản: Hành vi khắc hoạ cùng tiến dần thay đổi đường nhỏ nghiệm chứng (5/∞). “
“【 quyển thứ ba: Tin tức kỷ nguyên - vận duy vực sâu 】 tới gần chung điểm. “
“Chúng ta đã chạm đến vận duy trung sâu nhất, nhất không thể biết ám mặt —— cơ số hai di sản. Ở chinh phục phần ngoài hệ thống hỗn độn lúc sau, một cái càng căn bản, nội tại với tính toán bản thân đồng phát ác ma, chính chờ đợi bị giải cấu. “
“Đệ quy nhắc nhở: Đương nhiều chấp hành lưu cùng chung cùng phiến nội tồn khi, như thế nào ở không có chết khóa cùng đói khát dưới tình huống, thực hiện hiệu suất cao, nhưng nghiệm chứng hợp tác? Này đem đem chúng ta dẫn hướng đồng phát hình thức xét nghiệm chứng chung cực khiêu chiến. “
“Tiếp theo nghiệm chứng tiết điểm: Cùng chung nội tồn đồng phát mô hình hình thức hóa tuyệt cảnh. “
Vũ hằng khép lại kia đài cũ nát tiệm net máy tính. Dự chi tạp thời gian dùng hết. Nàng đè thấp vành nón, đi ra tiệm net, dung nhập biên cảnh trấn nhỏ xa lạ dòng người. Mu bàn tay bạc văn, ở vừa rồi tự hỏi dư vị trung, vẫn có mỏng manh, giải đọc “Thiên thư” tối nghĩa cảm tàn lưu. Nhưng hiện thực “Thiên thư” càng vì gấp gáp: Đồng tình giả cung cấp tiếp theo trạm manh mối, chỉ hướng trấn nhỏ vận chuyển hàng hóa trạm một cái thùng đựng hàng đánh số. Nàng cần thiết dựa theo chỉ thị, ở đêm khuya trước tìm được đồng tiến nhập cái kia thùng đựng hàng, nó sẽ trở thành nàng đi trước tiếp theo cái không biết địa điểm “An toàn phong trang khoang”.
Liền ở nàng căn cứ trong trí nhớ bản đồ đi hướng vận chuyển hàng hóa trạm khi, phố đối diện một chiếc nhìn như vứt đi xe vận tải, này ghế phụ cửa sổ xe thâm sắc dán màng sau, một cái nhỏ bé hồng quang điểm, không dễ phát hiện mà lập loè một chút. Mu bàn tay bạc văn, không hề dấu hiệu mà truyền đến một trận bén nhọn, bị “Chăm chú nhìn” đau đớn. Nàng không có dừng lại bước chân, không có quay đầu, nhưng trái tim chợt buộc chặt. Bắt phong giả internet, tựa hồ so bất luận cái gì di lưu cơ số hai hệ thống đều càng khó lấy lý giải, càng không chỗ không ở.
Nàng vừa mới số lượng tự thế giới “Bóng dáng hệ thống” phác hoạ nguy hiểm quản lý lam đồ, mà nàng tự thân, chính trở thành trong thế giới hiện thực, một cái bị nhiều mặt thế lực lấy bất đồng “Hành vi quy phạm” truy tung cùng phân tích, tồn tại “Di lưu cơ số hai”.
( chương 38 xong )
【 chương sau báo trước 】
Khi chúng ta đem phần ngoài vận duy hỗn độn dần dần nạp vào nhưng quản lý dàn giáo, tính toán bên trong nhất cổ xưa ác ma —— cùng chung nội tồn đồng phát —— này hình thức hóa phức tạp tính lại vẫn như cũ lệnh người tuyệt vọng. Là tiếp tục ở khóa, tín hiệu lượng, vô khóa số liệu kết cấu mê cung trung thử lỗi, vẫn là tìm kiếm từ căn bản thượng chứng minh đồng phát trình tự chính xác tính? Chương sau, chúng ta đem thâm nhập đồng phát hình thức xét nghiệm chứng chén Thánh cùng tuyệt cảnh, trực diện kia dây dưa với biểu đạt năng lực, nghiệm chứng phức tạp độ cùng tính năng chi gian, cùng chung nội tồn đồng phát “Hắc động”.
Chương 39: 《 đồng phát hắc động —— cùng chung nội tồn đồng phát mô hình hạ vô chết khóa vô đói khát hình thức hóa tuyệt cảnh 》