Designing software for secrecy: Security-enabled program algebra

Project: Research

Status	Finished
Effective start/end date	1/07/10 → 31/12/13

Schedulers and finishers: on generating and filtering the behaviours of an event structure
McIver, A., Rabehaja, T. & Struth, G., 5 Oct 2018, In: Theoretical Computer Science. 744, p. 97-112 16 p.
Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus)
Schedulers and finishers: On generating the behaviours of an event structure
McIver, A., Rabehaja, T. & Struth, G., 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Sampaio, A. & Wang, F. (eds.). Cham, Switzerland: Springer, Springer Nature, Vol. 9965 LNCS. p. 121-138 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
1 Citation (Scopus)

Project Details