Tahiry Rabehaja

Dr

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

  • 21 Citations
  • 3 h-Index
  • 7 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. Institute of Electrical and Electronics Engineers (IEEE), 4 p. 8449813

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

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 journalArticle

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 contribution

Information Flow
Algebra
Semantics
Confidentiality
Fragment

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

Transparency

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

Confidentiality
Reasoning
Disclosure
Leakage
Privacy