Verification of K-Step Opacity and Analysis of Its Complexity
Saboori, A., Hadjicostis, C. N.
Published in IEEE transactions on automation science and engineering (01.07.2011)
Published in IEEE transactions on automation science and engineering (01.07.2011)
Get full text
Journal Article
Current-State Opacity Formulations in Probabilistic Finite Automata
Saboori, Anooshiravan, Hadjicostis, Christoforos N.
Published in IEEE transactions on automatic control (01.01.2014)
Published in IEEE transactions on automatic control (01.01.2014)
Get full text
Journal Article
Coverage analysis of mobile agent trajectory via state-based opacity formulations
Saboori, Anooshiravan, Hadjicostis, Christoforos N.
Published in Control engineering practice (01.09.2011)
Published in Control engineering practice (01.09.2011)
Get full text
Journal Article
AUTOMATIC FRAUDULENT DIGITAL CERTIFICATE DETECTION
MEHTA YOGESH A, SABOORI ANOOSHIRAVAN, NITTA BRYSTON, PORTER NELLY, JANJUA MUHAMMAD UMAR, VAN HORENBEECK MAARTEN, BAKALOV VASSIL D
Year of Publication 20.11.2015
Get full text
Year of Publication 20.11.2015
Patent
Notions of security and opacity in discrete event systems
Saboori, A., Hadjicostis, C.N.
Published in 2007 46th IEEE Conference on Decision and Control (01.12.2007)
Published in 2007 46th IEEE Conference on Decision and Control (01.12.2007)
Get full text
Conference Proceeding
Verification of initial-state opacity in security applications of DES
Saboori, A., Hadjicostis, C.N.
Published in 2008 9th International Workshop on Discrete Event Systems (01.05.2008)
Published in 2008 9th International Workshop on Discrete Event Systems (01.05.2008)
Get full text
Conference Proceeding
Verification of Infinite-Step Opacity and Analysis of its Complexity
Saboori, Anooshiravan, Hadjicostis, Christoforos N.
Published in IFAC Proceedings Volumes (01.06.2009)
Published in IFAC Proceedings Volumes (01.06.2009)
Get full text
Journal Article
AUTOMATIC PROVISIONING OF A DEVICE TO ACCESS AN ACCOUNT
SABOORI, Anooshiravan, SCHWARTZ, Jonathan David, DAWOUD, Peter, SONI, Himanshu, NYSTROM, Magnus, ZHOU, Dayi
Year of Publication 21.10.2020
Get full text
Year of Publication 21.10.2020
Patent
AUTOMATIC FRAUDULENT DIGITAL CERTIFICATE DETECTION
PORTER, Nelly, SABOORI, Anooshiravan, BAKALOV, Vassil D, JANJUA, Muhammad Umar, NITTA, Bryston, VAN HORENBEECK, Maarten, MEHTA, Yogesh A
Year of Publication 28.07.2021
Get full text
Year of Publication 28.07.2021
Patent
Opacity verification in stochastic discrete event systems
Saboori, A, Hadjicostis, C N
Published in 49th IEEE Conference on Decision and Control (CDC) (01.12.2010)
Published in 49th IEEE Conference on Decision and Control (CDC) (01.12.2010)
Get full text
Conference Proceeding
Opacity-enforcing supervisory strategies for secure discrete event systems
Saboori, A., Hadjicostis, C.N.
Published in 2008 47th IEEE Conference on Decision and Control (01.12.2008)
Published in 2008 47th IEEE Conference on Decision and Control (01.12.2008)
Get full text
Conference Proceeding