We present the SBSNNI rule format. We prove that any Process Algebra construct whose SOS-style semantics is defined by SOS transition rules respecting such a format, preserves the well known non interference properties Persistent BNDC, SBSNNI, and SBNDC.
Swipe to navigate through the chapters of this book
- Rule Formats for Non Interference
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA