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

Fingerprint Dive into the research topics where Tahiry Rabehaja is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Kleene Algebra Mathematics
Algebra Engineering & Materials Science
Event Structures Mathematics
Information Flow Mathematics
Access control Engineering & Materials Science
Model structures Engineering & Materials Science
Semantics Engineering & Materials Science
Regain Engineering & Materials Science

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

Research Outputs 2009 2019

  • 29 Citations
  • 3 h-Index
  • 8 Conference proceeding contribution
  • 7 Article
  • 1 Chapter
  • 1 Conference paper

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

Open Access
Information Flow
Hidden Markov models
Markov Model

Design and implementation of a secure and flexible access-right delegation for resource constrained environments

Rabehaja, T., Pal, S. & Hitchens, M., 1 Oct 2019, In : Future Generation Computer Systems. 99, p. 593-608 16 p.

Research output: Contribution to journalArticleResearchpeer-review

Access control
Internet of things
Data storage equipment
Access control
Smart sensors
Internet of things

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
Model structures