Safe Abstractions of Data Encodings in Formal Security Protocol Models
Abstract
no abstract
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Ben Smyth : Connect in order to contact the contributor
https://inria.hal.science/hal-00863393
Submitted on : Wednesday, September 18, 2013-5:37:57 PM
Last modification on : Friday, January 21, 2022-3:19:30 AM