LorePath
  • Browse
  • ·FAQ
Back to Results

Magical Tome

Cover of Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
First published
2011
Publisher
Springer Berlin Heidelberg
Pages
194 pages
ISBN
9783642160738

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

The outer archives are busy

by Alessandro Armando

No synopsis in the archives yet.

Match Score

Create a free account to see Match Scores on books the community has marked — once you’ve set your preferences.

Create free account

Marks of the Realm

Marks left by readers of this tome

No community marks yet — be the first to inscribe this tome.

Pacing

—out of 5

Horror / Dark Elements

—out of 5

Romance

—out of 5

Spice Level

—out of 5

LGBTQ+ Representation

—out of 5

Social & Political Themes in Stories

—out of 5

Inscribe Your Rating

Mark this tome across each content category