A Formal Methods Approach for Release Evaluation by Ebru Aydın Göl

Subjects: “…formal methods…”
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

TR‐AKA: A two‐phased, registered authentication and key agreement protocol for 5G mobile networks by Yibing Liu, Lijun Huo, Gang Zhou

Subjects: Get full text

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root by Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez

Subjects: “…formal methods…”
Get full text

DevFemOps: enhancing maintainability based on microservices using formal engineering methods by Tetsuo Fukuzaki, Shaoying Liu, Michael Butler

Subjects: “…formal methods…”
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

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: “…access control;trust negotiation;formal methods;computational complexity;security…”
Get full text

Formal methods of estimating risks in trade by G. P. Fomin

Subjects: Get full text

Formal Research Methods in Political Science and Comparative Politics: The Prospects of MGIMO-University Political Science School by Ivan Nikolaevich Timofeyev

Subjects: “…formal methods…”
Get full text

Ensuring Semantic Consistency in SysML v2 Models Through Metamodel-Driven Validation by Eduardo Cibrian, Jose Olivert-Iserte, Carlos Diez-Fenoy, Roy Mendieta, Juan Llorens, Jose Maria Alvarez-Rodriguez

Subjects: “…Formal methods…”
Get full text

Unified Monitor and Controller Synthesis for Securing Complex Unmanned Aircraft Systems by Dong Yang, Wei Dong, Wei Lu, Sirui Liu, Yanqi Dong

Subjects: Get full text

Runtime safety assurance methods for cyber physical systems based on simplex architecture by WANG Qiang, CHEN Qiang, CAO Weipeng, HE Wenfeng

Subjects: Get full text

Teaching Formal Models of Concurrency Specification and Analysis by N. V. Shilov

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

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

Subjects: “…non-repudiation;extended-CSP approach;fairness;timeliness;formal method…”
Get full text

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

DATA ANALYSIS BY FORMAL METHODS OF ESTIMATION OF INDEXES OF RATING CRITERION IN PROCESS OF ACCUMULATION OF DATA ABOUT WORKING OF THE TEACHING STAFF by Alexey E. Fedoseev

Subjects: Get full text

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

Subjects: “…multi-hop wireless network;secure routing;DCAR;formal method;LS2…”
Get full text

Edge Computing-Enabled Train Fusion Positioning: Modeling and Analysis by Hao Yin, Haifeng Song, Ruichao Wu, Min Zhou, Zixing Deng, Hairong Dong

Subjects: Get full text