English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Network is the basis of the army informationization construction, and security is the guarantee for the army informationization construction. The article firstly analyzes the hidden trouble of the military network and the lack of defense methods, and then introduces a new defense system of military network based on minimization of counterexamples algorithm on model checking, to analyze the validity of the network security protocols. The algorithm, based on the algorithm Gastin P proposes, and then given an informal analysis on the well-known Needham-Schroeder public-key authentication protocol, can provide quite efficient and omnidirectional security for military networks.

New Defense System of Military Network based on Minimization of Counterexamples Algorithm on Model Checking