security protocols and threat models security and privacy via the applied i calculus coles

Unfortunately, this item is no longer available, but we found some similar items you might like.