• 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
2020

On the design of a flexible delegation model for the Internet of Things using blockchain

Pal, S., Rabehaja, T., Hitchens, M., Varadharajan, V. & Hill, A., May 2020, In : IEEE Transactions on Industrial Informatics. 16, 5, p. 3521-3530 10 p.

Research output: Contribution to journalArticle

On the integration of blockchain to the Internet of Things for enabling access right delegation

Pal, S., Rabehaja, T., Hill, A., Hitchens, M. & Varadharajan, V., Apr 2020, In : IEEE Internet of Things Journal. 7, 4, p. 2630-2639 10 p.

Research output: Contribution to journalArticle

2019

Abstract Hidden Markov Models: a monadic account of quantitative information flow

McIver, A., Morgan, C. & Rabehaja, T., 29 Mar 2019, In : Logical Methods in Computer Science. 15, 1, p. 1-50 50 p., 36.

Research output: Contribution to journalArticle

Open Access
File
18 Downloads (Pure)

Categorical information flow

Rabehaja, T., McIver, A., Morgan, C. & Struth, G., 2019, The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 329-343 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Cyber attack on the Australian parliament and the lessons learned

Doche, C., McCombie, S. & Rabehaja, T., 4 Mar 2019, Australian Outlook.

Research output: Contribution to Newspaper/Magazine/WebsiteArticle

Open Access
File
1 Downloads (Pure)
2 Citations (Scopus)
3 Citations (Scopus)

Program algebra for quantitative information flow

McIver, A. K., Morgan, C. C. & Rabehaja, T., Aug 2019, In : Journal of Logical and Algebraic Methods in Programming. 106, p. 55-77 23 p.

Research output: Contribution to journalArticle

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)

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 journalArticle

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)

Privacy in elections: How small is “small”?

McIver, A., Rabehaja, T., Wen, R. & Morgan, C., 1 Oct 2017, In : Journal of Information Security and Applications. 36, p. 112-126 15 p.

Research output: Contribution to journalArticle

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

Probabilistic rely-guarantee calculus

McIver, A., Rabehaja, T. & Struth, G., 6 Dec 2016, In : Theoretical Computer Science. 655, p. 120-134 15 p.

Research output: Contribution to journalArticle

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 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)
6 Citations (Scopus)
2011

On probabilistic Kleene algebras, automata and simulations

McIver, A., Rabehaja, T. M. & Struth, G., 2011, Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. de Swart, H. (ed.). Heidelberg: Springer, Springer Nature, p. 264-279 16 p. (Lecture Notes in Computer Science; vol. 6663).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)
2009

Data Refinement with Probability in Mind

Rabehaja, T. M. & Sanders, J. W., 31 Dec 2009, In : Electronic Notes in Theoretical Computer Science. 259, C, p. 165-176 12 p.

Research output: Contribution to journalArticle

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)