Journal article

Cryptographic protocols with everyday objects

James Heather, Steve Schneider, Vanessa Teague

Formal Aspects of Computing: applicable formal methods | SPRINGER | Published : 2014