相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A general language-based framework for specifying and verifying notions of opacity
Andrew Wintenberg et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2022)
State-Labeled Safety Analysis of Modular Observers for Opacity Verification
Bengt Lennartson et al.
IEEE CONTROL SYSTEMS LETTERS (2022)
Comparing the notions of opacity for discrete-event systems
Jiri Balun et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2021)
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
Artur Meski et al.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2014)
Current-State Opacity Formulations in Probabilistic Finite Automata
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2014)
Comparative analysis of related notions of opacity in centralized and coordinated architectures
Yi-Chin Wu et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2013)
Verification of initial-state opacity in security applications of discrete event systems
Anooshiravan Saboori et al.
INFORMATION SCIENCES (2013)
Synthesis of opaque systems with static and dynamic masks
Franck Cassez et al.
FORMAL METHODS IN SYSTEM DESIGN (2012)
Opacity of discrete event systems and its applications
Feng Lin
AUTOMATICA (2011)
Understanding when location-hiding using overlay networks is feasible
J Wang et al.
COMPUTER NETWORKS (2006)
SOS: Secure Overlay Services
AD Keromytis et al.
ACM SIGCOMM COMPUTER COMMUNICATION REVIEW (2002)
Bounded model checking using satisfiability solving
E Clarke et al.
FORMAL METHODS IN SYSTEM DESIGN (2001)
Treatment of epsilon moves in subset construction
G van Noord
COMPUTATIONAL LINGUISTICS (2000)