John Mullins

Available identifiers

Publication	Date of Publication	Type
Timed bounded verification of inclusion based on timed bounded discretized language	2021-04-19	Paper
Opacity for linear constraint Markov chains	2018-04-18	Paper
Characterizing intransitive noninterference for 3-domain security policies with observability	2017-07-12	Paper
Model-checking web services orchestrations using BP-calculus	2017-05-19	Paper
Quantifying opacity	2016-07-27	Paper
Channel synthesis for finite transducers	2016-07-26	Paper
Non-interference control synthesis for security timed automata	2013-12-06	Paper
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols	2013-07-24	Paper
Channel synthesis for finite transducers	2013-06-06	Paper
Model Checking of Extended OCL Constraints on UML Models in SOCLe	2007-11-28	Paper
Information and Communications Security	2006-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q2757828	2001-12-04	Paper
Concrete data structures and functional parallel programming	2001-08-20	Paper
Nondeterministic admissible interference	2001-05-10	Paper
On an effective hierarchy of communicating processes: Separation principle and testing	1998-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4362881	1998-03-23	Paper

This page was built for person: John Mullins