Automated analysis of security protocols with global state Steve Kremer INRIA Nancy - Grand’Est - Grand Est - Document - PDFSEARCH.IO

First Page	Meta Content
	Automated analysis of security protocols with global state Steve Kremer INRIA Nancy - Grand’Est & Loria, France Abstract—Security APIs, key servers and protocols that need to keep the status of transactions, require Add to Reading List Document Date: 2014-04-21 13:48:10 Open Document File Size: 265,69 KB Share Result on Facebook

Automated analysis of security protocols with global state Steve Kremer INRIA Nancy - Grand’Est & Loria, France Abstract—Security APIs, key servers and protocols that need to keep the status of transactions, require Add to Reading List