A concept to assure automatic corre

A concept to assure automatic correctness is the implementation of a democratic configuration process of applications and controllers. If multiple devices are present, only majority
decisions are performed, eliminating the possibility of an attacker who is capable of installing
single malicious or nonsensical configurations. To address the issue of Byzantine faults in distributed control systems (see Section 3.2.3). Li et al., 2014 [76] developed a Byzantine fault
algorithm to override single malicious controller decisions. The controllers form a cluster
and are abstracted into a single big controller. In case of PACKET IN message or a network
event, the new configuration is computed by every controller and the votes are collected.
The majority choice is selected to be deployed on the switch, essentially overriding any single attacker decision and preventing Tampering of the switch flow tables. The researchers
presented the algorithm and several successful use-cases but did not publish a practical and
modular solution. The proposal thus far is purely theoretical and still in development.
An other democratic approach on a higher-level is Fleet [111], a fault-tolerant distributed
controller design to identify and correct malicious administrator configurations. As soon as
a network event occurs, one of the internal distributed controllers of Fleet can propose a
reconfiguration based on a previously agreed proposal sequence. The remaining controllers
sign the configuration with a cryptographic sequence to verify their vote. If the majority
agrees, the policy is enacted in the network. If not, the next controller proposes a modification, which is voted upon. The Fleet controller design focusses on the possibility of malicious
administrators but can be reduced to the controller itself based on the voting behaviour. A
malfunctioning or compromised controller is overruled by majority vote and at the same
time it is not possible to add more malicious controllers due to previously distributed controller keys. Nevertheless, similar to the algorithm developed by Li et al. [76], Fleet has not
been tested in real network environments or is published as a well documented, practical
solution. A new controller introduces further control plane fragmentation, but the concept
could potentially be integrated intro prevalent distributed controllers (e.g. OpenDaylight,
ONOS) to add extended security and Tampering resilience.

Kết quả (Việt) 1:

Một khái niệm để đảm bảo tính đúng đắn tự động là thực hiện một quá trình dân chủ cấu hình ứng dụng và bộ điều khiển. Nếu nhiều thiết bị được hiện tại, đa số chỉquyết định được thực hiện, loại bỏ khả năng của một kẻ tấn công những người có khả năng cài đặtcấu hình đơn độc hại hoặc vô nghĩa. Để giải quyết vấn đề của Byzantine lỗi trong hệ thống kiểm soát phân phối (xem phần 3.2.3). Li et al., năm 2014 [76] phát triển một lỗi Byzantinethuật toán để ghi đè lên bộ điều khiển đơn độc hại ra quyết định. Bộ điều khiển tạo thành một cụmvà được abstracted vào một bộ điều khiển lớn duy nhất. Trong trường hợp gói IN thông báo hoặc một mạng lướisự kiện, cấu hình mới được tính bởi mỗi bộ điều khiển và phiếu được thu thập.Sự lựa chọn đa số được chọn để được triển khai trên switch, về cơ bản ghi đè bất kỳ quyết định kẻ tấn công duy nhất và ngăn ngừa Tampering của switch flow bảng. Các nhà nghiên cứutrình bày các thuật toán và một số thành công trường hợp sử dụng nhưng không xuất bản một thực tế vàgiải pháp mô-đun. Đề nghị vậy, đến nay là hoàn toàn lý thuyết và vẫn còn trong phát triển.Một cách tiếp cận chủ khác trên một cao cấp là hạm đội [111], phân phối một lỗi-khoan dungđiều khiển các thiết kế để xác định và khắc phục độc hại quản trị cấu hình. Ngay sau khimột sự kiện mạng xảy ra, một trong các thiết bị kiểm soát phân phối nội bộ Hạm đội có thể đề xuất mộtcấu hình lại dựa trên một chuỗi trước đó đã đồng ý đề xuất. Còn lại bộ điều khiểnđăng cấu hình với một chuỗi mã hóa để xác minh bỏ phiếu của họ. Nếu phần lớnđồng ý, các chính sách được ban hành trong mạng. Nếu không, bộ điều khiển tiếp theo đề xuất sửa đổi, đó biểu quyết. Thiết kế điều khiển hạm đội tập trên khả năng độc hạiquản trị viên nhưng có thể được giảm với bộ điều khiển chính nó dựa trên hành vi biểu quyết. Atrục trặc hoặc bị xâm phạm điều khiển bác bỏ bởi đa số phiếu và đồngthời gian không thể để thêm bộ điều khiển độc hại hơn do trước đây được phân phối các phím điều khiển. Tuy nhiên, tương tự như các thuật toán được phát triển bởi Li et al. [76], hạm đội đã khôngthử nghiệm trong môi trường mạng thực hoặc được xuất bản như là một thực tế tài liệu,giải pháp. Một bộ điều khiển mới giới thiệu hơn nữa kiểm soát máy bay phân mảnh, nhưng khái niệmcó khả năng có thể là tích hợp giới thiệu bộ điều khiển phân phối phổ biến (ví dụ như OpenDaylight,ONOS) để thêm an ninh mở rộng và giả mạo khả năng đàn hồi.

Kết quả (Việt) 2:

Một khái niệm để đảm bảo tính đúng đắn tự động là việc thực hiện một quá trình cấu hình dân chủ của các ứng dụng và điều khiển. Nếu nhiều thiết bị, có mặt, phần lớn chỉ có
các quyết định được thực hiện, loại trừ khả năng một kẻ tấn công có khả năng cài đặt
cấu hình độc hại hoặc vô nghĩa duy nhất. Để giải quyết vấn đề của lỗi Byzantine trong các hệ thống điều khiển phân tán (xem Phần 3.2.3). Li et al., 2014 [76] đã phát triển một lỗi Byzantine
thuật toán để ghi đè lên các quyết định điều khiển độc hại duy nhất. Các bộ điều khiển tạo thành một cụm
và được trừu tượng thành một điều khiển lớn duy nhất. Trong trường hợp GÓI TẠI tin nhắn hoặc một mạng lưới
sự kiện, cấu hình mới được tính bởi mỗi bộ điều khiển và các phiếu bầu được thu thập.
Sự lựa chọn đa số được chọn sẽ được triển khai trên các switch, về cơ bản trọng mọi quyết định tấn công duy nhất và ngăn chặn sự can thiệp của các dòng switch bảng. Các nhà nghiên cứu
đã trình bày thuật toán và một số thành công trường hợp sử dụng nhưng không cho xuất bản một thực tế và
giải pháp mô-đun. Đề xuất này cho đến nay là hoàn toàn lý thuyết và vẫn còn trong phát triển.
Một cách tiếp cận dân chủ khác trên một cấp cao hơn là Hạm đội [111], một phân phối chịu lỗi
điều khiển thiết kế để xác định và cấu hình quản trị độc hại đúng. Ngay sau khi
một sự kiện mạng xảy ra, một trong những bộ điều khiển phân tán nội bộ của Hạm đội có thể đề xuất một
cấu hình lại dựa trên một trình tự đề nghị đồng ý trước đó. Các bộ điều khiển còn lại
ký cấu hình với một chuỗi mật mã để xác minh lá phiếu của mình. Nếu đa số
đồng ý, chính sách được ban hành trong mạng. Nếu không, các bộ điều khiển tiếp theo đề xuất sửa đổi, được biểu quyết. Thiết kế bộ điều khiển Hạm đội tập trung vào những khả năng độc hại
quản trị nhưng có thể được giảm để điều khiển chính nó dựa trên hành vi bỏ phiếu. Một
bộ điều khiển bị hỏng hóc hoặc bị tổn hại là bị bác bỏ bởi đa số phiếu và tại cùng một
thời gian nó không phải là có thể để thêm bộ điều khiển độc hại hơn do các phím điều khiển phân tán trước đây. Tuy nhiên, tương tự như các thuật toán được phát triển bởi Li et al. [76], Hạm đội đã không
được thử nghiệm trong môi trường mạng thực hoặc được công bố như là một tài liệu tốt, thiết thực
giải pháp. Một bộ điều khiển mới giới thiệu thêm phân mảnh máy bay điều khiển, nhưng khái niệm này
có khả năng có thể được tích hợp bộ điều khiển giới thiệu phân phối phổ biến (ví dụ như OpenDaylight,
ONOS) để thêm an toàn mở rộng và Giả mạo khả năng phục hồi.