Pushing forward a previous investigation on security of reaction systems, we introduce new state based security properties. Assume there are some states of a reaction system that are in some sense critical, and that we want to hide whether the system reaches them. We define new security properties that guarantee that an external observer who has only a partial knowledge on the objects provided by the environment cannot infer whether a secret state is reached by the system. We also propose an effective method for verifying such properties. The verification method is based on a newly defined extension of the concept of formula based predictor to set of states.

Hidden states in reaction systems

Gori, Roberta;Milazzo, Paolo
2018

Abstract

Pushing forward a previous investigation on security of reaction systems, we introduce new state based security properties. Assume there are some states of a reaction system that are in some sense critical, and that we want to hide whether the system reaches them. We define new security properties that guarantee that an external observer who has only a partial knowledge on the objects provided by the environment cannot infer whether a secret state is reached by the system. We also propose an effective method for verifying such properties. The verification method is based on a newly defined extension of the concept of formula based predictor to set of states.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/938523
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact