Annabelle McIver's Books

Abstraction, Refinement and Proof for Probabilistic Systems

By: Annabelle McIver,Carroll Morgan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Abstraction, Refinement and Proof for Probabilistic Systems

By: Annabelle McIver,Carroll Morgan

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

412

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0387401156

ISBN 13

9780387401157

The Science of Quantitative Information Flow

By: Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Science of Quantitative Information Flow

By: Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith

This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that achieve rigorous, quantitative information-flow guarantees in those terms. It addresses the fundamental challenge that functional and practical requirements frequently conflict with the goal of preserving confidentiality, making perfect security unattainable. Topics include: a systematic presentation of how unwanted information flow, i.e., "leaks", can be quantified in operationally significant ways and then bounded, both with respect to estimated benefit for an attacking adversary and by comparisons between alternative implementations; a detailed study of capacity, refinement, and Dalenius leakage, supporting robust leakage assessments; a unification of information-theoretic channels and information-leaking sequential programs within the same framework; and a collection of case studies, showing how the theory can be applied to interesting realistic scenarios. The text is unified, self-contained and comprehensive, accessible to students and researchers with some knowledge of discrete probability and undergraduate mathematics, and contains exercises to facilitate its use as a course textbook.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

478

Publisher

Springer Nature

Published Date

ISBN 10

3319961314

ISBN 13

9783319961316

Historic Neighborhoods of Baton Rouge

By: Annabelle M. Armstrong

Write a review Read reviews Take a Quiz Solve Book Puzzle

Historic Neighborhoods of Baton Rouge

By: Annabelle M. Armstrong

Baton Rouge is known for its rich history, food, politics, music and universities. Perhaps overlooked are the stories of how this large port city's close-knit neighborhoods have adapted to changes over the years. Annabelle Armstrong deftly navigates the evolution of these historic communities, showcasing southern charm and romanticism through firsthand accounts of people who call these places home. Journey back to the beginnings of Hundred Oaks, Capital Heights, University Acres, Wimbledon, Tara, Inniswold, Glenwood, Walnut Hills, Stratford, Steele Place, Broussard, Southdowns and many more popular places to settle down.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

174

Publisher

Arcadia Publishing

Published Date

ISBN 10

1614232504

ISBN 13

9781614232506

Abstraction, Refinement and Proof for Probabilistic Systems

By: Annabelle McIver,Carroll Morgan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Abstraction, Refinement and Proof for Probabilistic Systems

By: Annabelle McIver,Carroll Morgan

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

412

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0387401156

ISBN 13

9780387401157

Book's by Annabelle McIver

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

The Science of Quantitative Information Flow

The Science of Quantitative Information Flow

Historic Neighborhoods of Baton Rouge

Historic Neighborhoods of Baton Rouge

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Username

Password

Username

Password

Password again

Birthday

Email