Automatic proof of resistance of denial of service attacks in protocols by Bo MENG, Wei HUANG, De-jun WAND, Fei SHAO

Subjects: Get full text

Extended-CSP based analysis of non-repudiation protocols by HAN Zhi-geng, LUO Jun-zhou, WANG Liang-min

Subjects: Get full text

Coding-aware secure routing for multi-hop wireless networks by Xian GUO, Tao FENG, Zhan-ting YUAN

Subjects: Get full text

Researches on role-based middleware in wireless sensor networks by LUO Juan, GU Chuan-li, LI Ren-fa

Subjects: Get full text

State-of-the-art survey of smart contract verification based on formal methods by Wenbo ZHANG, Simin CHEN, Lifei WEI, Wei SONG, Dongmei HUANG

Subjects: Get full text

Theoretical problems of component-based structural synthesis by Vaidas Giedrimas, Audronė Lupeikienė

Subjects: Get full text

Research on Web service discovery based on user community relations by Hao TIAN, Hong FAN, Wu DU

Subjects: Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

Subjects: Get full text

Improvement and formal proof on protocol Otway-Rees by Lai-feng LU, Xin-dong DUAN, Jian-feng MA

Subjects: Get full text