Designing software for secrecy: Security-enabled program algebra

  • McIver, Annabelle (Primary Chief Investigator)
  • Morgan, Charles (Chief Investigator)
  • Newton, Jennifer (Other)
  • Butler, Michael (Partner Investigator)

Project: Research

  • 1 Conference proceeding contribution
  • 1 Article
Filter
Conference proceeding contribution

Search results

  • 2016

    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)