• 23 Citations
  • 3 h-Index
20092018
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 3 Similar Profiles
Kleene Algebra Mathematics
Algebra Engineering & Materials Science
Event Structures Mathematics
Model structures Engineering & Materials Science
Regain Engineering & Materials Science
Concurrent Mathematics
Information Flow Mathematics
Scheduler Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2009 2018

  • 23 Citations
  • 3 h-Index
  • 8 Conference proceeding contribution
  • 4 Article
  • 1 Chapter
  • 1 Conference paper

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 contributionResearchpeer-review

Access control
Internet of things

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 journalArticleResearchpeer-review

Event Structures
Regain
Model structures
Scheduler
Filtering

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 contributionResearchpeer-review

Information Flow
Algebra
Semantics
Confidentiality
Fragment

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 contributionResearchpeer-review

Access control
Authentication
Health
Internet of things
Sensors

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 journalArticleResearchpeer-review

Transparency