A. K. McIver

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 1

Top Topics

Possibilistic Logic

Probability Theory

Multi Context Systems

Information Flows

Top Venues

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Publications

A. K. McIver, Carroll C. Morgan, T. M. Rabehaja
Program algebra for quantitative information flow. J. Log. Algebraic Methods Program. 106 (2019)
Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo
Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects Comput. 26 (1) (2014)
A. K. McIver, Carroll C. Morgan
Compositional refinement in agent-based security protocols. Formal Aspects Comput. 23 (6) (2011)
Ukachukwu Ndukwu, A. K. McIver
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. ATVA (2010)
A. K. McIver, Carlos Gonzalía, E. Cohen, Carroll C. Morgan
Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebraic Methods Program. 76 (1) (2008)
A. K. McIver, Carroll C. Morgan, Carlos Gonzalía
Proofs and Refutations for Probabilistic Refinement. FM (2008)
A. K. McIver, Ansgar Fehnker
Formal Techniques for the Analysis of Wireless Networks. ISoLA (2006)