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

Sharing fact checking corrections in polarized political environments: A study of context and disambiguation by Natalia Aruguete, Ernesto Calvo

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

Probabilistic decoding algorithm for quantum stabilizer codes by XIAO Fang-ying, CHEN Han-wu

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

Identity-based cloud storage integrity checking from lattices by Miaomiao TIAN, Chuang GAO, Jie CHEN

Subjects: Get full text

A Quantified Analysis of Lean First Then Automate for a Synergetic Effect by Sharmin Akter Urmee, Mosharraf Hossain

Subjects: Get full text

Error Correction for Check Digit Systems over p-Groups and Applications to DNA Sequences by Louis Beaugris

Subjects: Get full text

Specialization of derivations in modal logic S5 by Aida Pliuškevičienė

Subjects: Get full text

Adversarial examples detection method based on boundary values invariants by Fei YAN, Minglun ZHANG, Liqiang ZHANG

Subjects: Get full text

ProcessM: Intelligent Process Mining software by Tomasz P. Pawlak, Jędrzej Potoniec

Subjects: Get full text

Application of NerveCheck Master in the Diagnosis of Diabetic Peripheral Neuropathy by Raquel García de la Peña, Mercedes Ortiz Romero, José María Juárez Jiménez, Ana María Rayo Pérez

Subjects: Get full text

Message encryption and authentication mechanism based on wireless physical layer key by Xingzhi,JINLiang LI, Zhou ZHONG, Yangming LOU

Subjects: Get full text

STRENGTH CHECK OF AIR CONDITIONER PANEL MECHANISM BASED ON FINITE ELEMENT MOTHOD by OUYANG Hui, LI DePeng, GAO WenLi, ZOU JinWei

Subjects: Get full text

Blood-based prognostic scores and early dynamics under immunotherapy to select patients with metastatic solid tumors for continuing immune check-point inhibition: a prospective lon... by Javier García-Corbacho, Alberto Indacochea, Iván Victoria, Débora Moreno, Laura Angelats, Azucena E. González Navarro, Laura Mezquita, Fara Brasó-Maristany, Patricia Galván, Begoña Mellado, Nuria Viñolas, Tamara Sauri, Miquel Nogué, Barbara Adamo, Joan Maurel, Estela Pineda, Lydia Gaba, Oscar Reig, Neus Basté, Esther Sanfeliu, Manel Juan, Aleix Prat, Francesco Schettini

Subjects: Get full text

GEOMETRIC PARAMETERS DETERMINATION AND SIMULATION OF SMALL-SIZED RV REDUCER by WANG Jun, ZHANG HuiMin

Subjects: Get full text

Feedback mechanism between gully landforms and sediment trapping efficiency in a check dam by Jiangang Chen, Xi'an Wang, Huayong Chen, Wanyu Zhao, Chenyuan Wang, Xiaoqing Chen

Subjects: Get full text