Fortunately, formal analysis has shown its power to prove the complex se- curity definitions although the formal analysis of anonymous credentials is rel- atively limited (almost for DAA). Arapinis et al. [5] presented a framework for analyzing the unlinkability and anonymity in the applied pi calculus.
from Google Alert - anonymous http://ift.tt/2jHSbCO
via IFTTT
No comments:
Post a Comment