Counting workflow satisfiability with exclusion constraints based on backtracking tree-decomposition by Zhinian ZHAI, Weixiang WANG, Yahui LU, Mingwei WU, Zhijun ZHENG, Fahong YU

Subjects: Get full text

Information flow integrity measurement method using integrity threat tree by Qixuan WU, Jianfeng MA, Cong SUN

Subjects: Get full text

Research of Hamming weight-based algebraic side-channel attack on LED by Ke-ke JI, Tao WANG, Shi-ze GUO, Xin-jie ZHAO, Hui-ying LIU

Subjects: Get full text

Design and detection of hardware Trojan based on satisfiability don't cares by Lingjuan WU, Jiacheng ZHU, Shibo TANG, Jing TAN, Wei HU

Subjects: Get full text

Improvement and evaluation for algebraic fault attacks on PRESENT by Jing HUANG, Xin-jie ZHAO, Fan ZHANG, Shi-ze GUO, Ping ZHOU, Hao CHEN, Jian YANG

Subjects: Get full text

Personal data privacy protection method based onvertical partitioning by RUAN Huafeng, LI Rui, LUO Kailun

Subjects: Get full text

Constraint analysis for extended dynamic fault tree by Qi-xuan WU, Jian-feng MA, Cong SUN, Shuai ZHANG, Shuang ZHANG, Tao ZHENG

Subjects: Get full text

SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

Subjects: Get full text

MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES by I. V. Rubanov, M. S. Barketau, M. Y. Kovalyov

Subjects: Get full text

Network moving target defense technique based on optimal forwarding path migration by Cheng LEI, Duo-he MA, Hong-qi ZHANG, Qi HAN, Ying-jie YANG

Subjects: Get full text

Melting ternary hybrid nanofluid stagnation point flow with velocity slip past a stretching/shrinking sheet: Numerical simulation and validation via P2SATRA by Nur Syahirah Wahid, Nur Ezlin Zamri, Siti Zulaikha Mohd Jamaludin, Nur Hazirah Adilla Norzawary, Mohd Shareduwan Mohd Kasihmuddin, Mohd. Asyraf Mansor, Norihan Md Arifin, Ioan Pop

Subjects: Get full text

Assessing grout imperfections in prestressed concrete using MWCNTs and temperature-magnetic response techniques by Heeyoung Lee, Sanggyu Park, Wonseok Chung

Subjects: Get full text

Study of effective factors on the rate of citizen\'s trust to the municipal performance of Sari city by shahram mollania jelodar, maryam malmir, seyed Hassan rasouli, zahra tabali

Subjects: Get full text