14 citations · 18 across the 7 of their papers we have counts for
9 papers
VeriBlock: A Blockchain-Based Verifiable Trust Management Architecture with Provable Interactions
Shantanu Pal, Ambrose Hill, Tahiry Rabehaja +1
There has been considerable advancement in the use of blockchain for trust management in large-scale dynamic systems. In such systems, blockchain is mainly used to store the trust…
Controlling Resource Allocation using Blockchain-Based Delegation
Shantanu Pal, Ambrose Hill, Tahiry Rabehaja +1
Allocation of resources and their control over multiple organisations is challenging. This is especially true for a large-scale and dynamic system like the Internet of Things (IoT)…
A Blockchain-Based Trust Management Framework with Verifiable Interactions
Shantanu Pal, Ambrose Hill, Tahiry Rabehaja +1
There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epist…
Abstract Hidden Markov Models: a monadic account of quantitative information flow
Annabelle McIver, Carroll Morgan, Tahiry Rabehaja
Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joi…
Compositional security and collateral leakage
N. Bordenabe, A. McIver, C Morgan +1
In quantitative information flow we say that program is "at least as secure as" just when the amount of secret information flowing from is never more than flows from $P…
Probabilistic Rely-guarantee Calculus
Annabelle McIver, Tahiry Rabehaja, Georg Struth
Jones' rely-guarantee calculus for shared variable concurrency is extended to include probabilistic behaviours. We use an algebraic approach which combines and adapts probabilistic…
An Event Structure Model for Probabilistic Concurrent Kleene Algebra
Annabelle McIver, Tahiry Rabehaja, Georg Struth
We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based on probabilistic event structures, which combines ideas from Katoen's work on pr…
Probabilistic Concurrent Kleene Algebra
Annabelle McIver, Tahiry Rabehaja, Georg Struth
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and pro…
Weak Concurrent Kleene Algebra with Application to Algebraic Verification
Annabelle McIver, Tahiry Rabehaja, Georg Struth
We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound wit…