Search
WebmailLa mia mail
How to find usCome raggiungerci
DirectoryChi e dove
Login AreaArea Login
logo

Center of Excellence DEWS

 
  • Home Page
Menu
  • Home
  • The Center
  • People
  • Publications
  • Research Activities
  • Grants
  • EECI
  • BEA SMART
  • News & Events
    • News Highlights
    • Breaking news
  • Education
  • Media
  • Links

Breaking news

Title

DEWS Colloquia: How Discrete-Event Systems Can Keep Secrets Secret - Karen Rudie (Queen’s University, Canada)

Description

The control theory of discrete-event systems (DESs) is a modeling framework for capturing the ordering of events or actions. Discrete-event systems modeling can be complementary to traditional continuous-time systems modeling or can be used alongside or in concert with continuous-time modeling in hybrid systems. Since decision-making is tantamount to prescribing which actions should or should not happen or which actions should happen before others, the body of work in DES theory is well-positioned to allow us to tackle security problems in cyber-physical systems. In this talk we present different approaches in DES control theory that address various problems in the security of systems and networks. In particular, we examine the notion of opacity, which is the property of ensuring that secret states or secret sequences of events are not discernible from non-secret states or events to a hostile agent. We also look at cases where systems are attacked by adversarial agents that manipulate sensor outputs (i.e., event occurrences generated by a plant) so that a supervisor (i.e., a DES controller) is fooled into thinking the system is in some state that it is not in. We discuss the challenges of modeling security and secrecy problems using discrete-event systems.

Publication date

26.04.2022

Link

...more information



Back

 
Università degli Studi dell'Aquila
© Copyright 2022
Università degli Studi dell'Aquila
Center of Excellence DEWS

Link utili

  • Albo ufficiale
  • Accessibilità
  • Amministrazione trasparente
  • Privacy
  • Note legali
  • Crediti
  • Contatti
  • Mappa del sito

Seguici su