Minimal backups of cryptographic protocol runs
Jay A. McCarthy, Shriram Krishnamurthi · 2008
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information becomes relevant while some old information ceases to be of use. Identifying what information is necessary at each point in a protocol run is valuable for both analysis and deployment.