Locality-guided based optimization method for bounded model checker by Shun WANG, Ye DU, Zhen HAN, Jiqiang LIU

Subjects: “…model checking…”
Get full text

Formal specification and security verification of usage control model based on PAT by Cong-hua ZHOU, Wei-he CHEN, Zhi-feng LIU

Subjects: Get full text

Composable information flow verification for service chain based on model checking by Ning XI, Jian-feng MA, Cong SUN, Di LU, Tao ZHANG

Subjects: “…model checking…”
Get full text

Survey on model checking based hardware Trojan detection technology by Qizhi ZHANG, Yiqiang ZHAO, Ya GAO, Haocheng MA

Subjects: Get full text

Automated configuration,simulation and verification platform for event-driven home automation IoT system by Qiuping ZHANG, Xizao WANG, Siyuan SHEN, Shiyu ZHANG, Lei BU, Xuandong LI

Subjects: Get full text

Model checking of trusted cryptographic module by CHEN Xiao-feng, FENG Deng-guo

Subjects: Get full text

Design and analysis of a novel fair payment protocol in mobile environments by LIU Xia1, GU Tian-long1, DONG Rong-sheng1, GUO Yun-chuan1

Subjects: Get full text

Modeling and verifying based on timed automata of Internet of things gateway security system by Guoqing WANG, Lei ZHUANG, Ruimin WANG, Yu SONG, Kunli ZHANG

Subjects: Get full text

The Impact of Collaboration Patterns and Network Centrality on Long-Term Contribution in GitHub Project by Suhee Jo, Gihwon Kwon

Subjects: Get full text

Adjusted automata learning algorithm for security protocol adaptive model checking by Jing YANG, Dan FAN, Yu-qing ZHANG

Subjects: Get full text