Security Requirements for the Internet of Things: A Systematic Approach von Pal, Shantanu, Hitchens, Michael, Rabehaja, Tahiry, Mukhopadhyay, Subhas

Volltext

Abstract Hidden Markov Models: a monadic account of quantitative information flow von Annabelle McIver, Carroll Morgan, Tahiry Rabehaja

Volltext

Fine-Grained Access Control for Smart Healthcare Systems in the Internet of Things von Pal, Shantanu, Hitchens, Michael, Varadharajan, Vijay, Rabehaja, Tahiry

Volltext

Design and implementation of a secure and flexible access-right delegation for resource constrained environments von Rabehaja, Tahiry, Pal, Shantanu, Hitchens, Michael

Volltext

A blockchain-based trust management framework with verifiable interactions von Pal, Shantanu, Hill, Ambrose, Rabehaja, Tahiry, Hitchens, Michael

Volltext

On the Design of a Flexible Delegation Model for the Internet of Things Using Blockchain von Pal, Shantanu, Rabehaja, Tahiry, Hitchens, Michael, Varadharajan, Vijay, Hill, Ambrose

Volltext

Probabilistic Concurrent Kleene Algebra von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Volltext

Policy-based access control for constrained healthcare resources in the context of the Internet of Things von Pal, Shantanu, Hitchens, Michael, Varadharajan, Vijay, Rabehaja, Tahiry

Volltext

On the Integration of Blockchain to the Internet of Things for Enabling Access Right Delegation von Pal, Shantanu, Rabehaja, Tahiry, Hill, Ambrose, Hitchens, Michael, Varadharajan, Vijay

Volltext

A Blockchain-Based Approach for Parametric Insurance Under Multiple Sources of Truth von Rabehaja, Tahiry, Pal, Shantanu, Hill, Ambrose, Hitchens, Michael

Volltext

Probabilistic rely-guarantee calculus von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Volltext

Schedulers and finishers: On generating and filtering the behaviours of an event structure von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Volltext

Categorical Information Flow von Rabehaja, Tahiry, McIver, Annabelle, Morgan, Carroll, Struth, Georg

Volltext

Privacy in elections: How small is “small”? von McIver, Annabelle, Rabehaja, Tahiry, Wen, Roland, Morgan, Carroll

Volltext

Schedulers and Finishers: On Generating the Behaviours of an Event Structure von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Volltext

Reasoning About Distributed Secrets von Bordenabe, Nicolás, McIver, Annabelle, Morgan, Carroll, Rabehaja, Tahiry

Volltext

VeriBlock: A Blockchain-Based Verifiable Trust Management Architecture with Provable Interactions von Pal, Shantanu, Hill, Ambrose, Rabehaja, Tahiry, Hitchens, Michael

Volltext bestellen

Controlling Resource Allocation using Blockchain-Based Delegation von Pal, Shantanu, Hill, Ambrose, Rabehaja, Tahiry, Hitchens, Michael

Volltext bestellen

An Event Structure Model for Probabilistic Concurrent Kleene Algebra von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Volltext

A Blockchain-Based Trust Management Framework with Verifiable Interactions von Pal, Shantanu, Hill, Ambrose, Rabehaja, Tahiry, Hitchens, Michael

Volltext bestellen