• 51 Citations
  • 4 h-Index
20092020

Research output per year

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

Research Outputs

  • 51 Citations
  • 4 h-Index
  • 11 Article
  • 8 Conference proceeding contribution
  • 2 Chapter
  • 1 Conference paper
Filter
Article
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
20 Downloads (Pure)

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

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

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

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)
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