The following pages link to John Mullins (Q1269917):
Displayed 17 items.
- (Q198011) (redirect page) (← links)
- On an effective hierarchy of communicating processes: Separation principle and testing (Q1269918) (← links)
- Opacity for linear constraint Markov chains (Q1745942) (← links)
- (Q2709234) (← links)
- (Q2757828) (← links)
- Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols (Q2841265) (← links)
- Non-Interference Control Synthesis for Security Timed Automata (Q2864391) (← links)
- (Q2988998) (← links)
- (Q4362881) (← links)
- CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS (Q4923278) (← links)
- Characterizing intransitive noninterference for 3-domain security policies with observability (Q5274096) (← links)
- Information and Communications Security (Q5393997) (← links)
- Model Checking of Extended OCL Constraints on UML Models in SOCLe (Q5428906) (← links)
- (Q5740413) (← links)
- Quantifying opacity (Q5740626) (← links)
- Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language (Q5859682) (← links)
- Concrete data structures and functional parallel programming (Q5941198) (← links)