Amanote Research
Register
Sign In
Security Path Checking of a Circuit With Behavior Description
doi 10.22323/1.300.0046
Full Text
Open PDF
Abstract
Available in
full text
Date
February 26, 2018
Authors
Chao Ma
Anping He
Tingting Jia
Lian Li
Zhihua Feng
Publisher
Sissa Medialab
Related search
Architecture Conformance Checking With Description Logics
Model Checking Indistinguishability of Randomized Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
A Logic of Belief and a Model Checking Algorithm for Security Protocols
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Modeling and Optimizing the Process of Airport Security Checking
DEStech Transactions on Computer Science and Engineering
A Brainstem-Spinal Circuit Controlling Nocifensive Behavior
Neuron
Neuroscience
Relation Path Modeling With Entity Description for Knowledge Graph Completion
International Journal of Knowledge Engineering
Extended Abstract: Circuit CAD Tools as a Security Threat
