Covert Channel Based on Quasi-Orthogonal Coding
Article in Electronics (May 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Concurrency, Security, and Puzzles
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Stealthy Protocols: Metrics and Open Problems
-
Altmetric BadgeChapter 2 A Specification Theory of Real-Time Processes
-
Altmetric BadgeChapter 3 Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
-
Altmetric BadgeChapter 4 FDR: From Theory to Industrial Application
-
Altmetric BadgeChapter 5 Information Flow, Distributed Systems, and Refinement, by Example
-
Altmetric BadgeChapter 6 Abstractions for Transition Systems with Applications to Stubborn Sets
-
Altmetric BadgeChapter 7 A Hybrid Relational Modelling Language
-
Altmetric BadgeChapter 8 Concurrency, Security, and Puzzles
-
Altmetric BadgeChapter 9 Analysing Lock-Free Linearizable Datatypes Using CSP
-
Altmetric BadgeChapter 10 Discrete Random Variables Over Domains, Revisited
-
Altmetric BadgeChapter 11 A Demonic Lattice of Information
-
Altmetric BadgeChapter 12 A Brief History of Security Protocols
-
Altmetric BadgeChapter 13 More Stubborn Set Methods for Process Algebras
-
Altmetric BadgeChapter 14 A Branching Time Model of CSP
-
Altmetric BadgeChapter 15 Virtualization Based Development