• 50 Citations
  • 4 h-Index
20092020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

  • 50 Citations
  • 4 h-Index
  • 11 Article
  • 8 Conference proceeding contribution
  • 2 Chapter
  • 1 Conference paper
Filter
Conference proceeding contribution
2018

Policy-based access control for constrained healthcare resources

Pal, S., Hitchens, M., Varadharajan, V. & Rabehaja, T., 28 Aug 2018, 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 1-4 4 p. 8449813

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 Citations (Scopus)
2017

Algebra for quantitative information flow

McIver, A. K., Morgan, C. C. & Rabehaja, T., 2017, Relational and algebraic methods in computer science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017. Proceedings. Höfner, P., Pous, D. & Struth, G. (eds.). Springer, Springer Nature, p. 3-23 21 p. (Lecture Notes in Computer Science; vol. 10226).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 Citations (Scopus)

On design of a fine-grained access control architecture for securing iot-enabled smart healthcare systems

Pal, S., Hitchens, M., Varadharajan, V. & Rabehaja, T., 7 Nov 2017, MobiQuitous 2017 Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. New York: Association for Computing Machinery (ACM), p. 432-441 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

6 Citations (Scopus)

Reasoning about distributed secrets

Bordenabe, N., McIver, A., Morgan, C. & Rabehaja, T., 2017, Formal techniques for distributed objects, components, and systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Bouajjani, A. & Silva, A. (eds.). Cham: Springer, Springer Nature, p. 156-170 15 p. (Lecture Notes in Computer Science; vol. 10321).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)
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 proceedingConference proceeding contribution

1 Citation (Scopus)
2015

Abstract hidden Markov models: a monadic account of quantitative information flow

McIver, A., Morgan, C. & Rabehaja, T., 31 Jul 2015, Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015. Picataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 597-608 12 p. 7174915. (Annual Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

16 Citations (Scopus)
2013

An event structure model for probabilistic concurrent Kleene algebra

McIver, A., Rabehaja, T. & Struth, G., 2013, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer, Springer Nature, Vol. 8312. p. 653-667 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8312 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

4 Citations (Scopus)
2009

Refinement algebra with explicit probabilism

Rabehaja, T. M. & Sanders, J. W., 2009, 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009: Proceedings. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 63-70 8 p. 5198488

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)