Results 271 to 280 of about 235,564 (296)
Some of the next articles are maybe not open access.
Proceedings of the 3rd international workshop on Mobility in the evolving internet architecture, 2008
Establishing trust in vehicular networks is a critical but also difficult task. In this position paper, we present a new trust architecture and model - Situation-Aware Trust (SAT) - to address several important trust issues in vehicular networks that we believe are essential to overcome the weaknesses of the current vehicular network security and trust
Xiaoyan Hong +3 more
openaire +1 more source
Establishing trust in vehicular networks is a critical but also difficult task. In this position paper, we present a new trust architecture and model - Situation-Aware Trust (SAT) - to address several important trust issues in vehicular networks that we believe are essential to overcome the weaknesses of the current vehicular network security and trust
Xiaoyan Hong +3 more
openaire +1 more source
Natural Max-SAT Encoding of Min-SAT
2012We show that there exists a natural encoding which transforms Min-SAT instances into Max-SAT instances. Unlike previous encodings, this natural encoding keeps the same variables, and the optimal assignment for the Min-SAT instance is identical to the optimal assignment of the corresponding Max-SAT instance.
openaire +2 more sources
Generalized SAT-Attack-Resistant Logic Locking
IEEE Transactions on Information Forensics and Security, 2021Jingbo Zhou, Xinmiao Zhang
exaly
A Comprehensive Study and Analysis on SAT-Solvers: Advances, Usages and Achievements
Artificial Intelligence Review, 2019Raed Mesleh, Sahel Alouneh, Sa'ed Abed
exaly
Anti-SAT: Mitigating SAT Attack on Logic Locking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019Yang Xie, Ankur Srivastava
exaly