Analysis of real-world security protocols in a universal composability frameworkMax TuengerthalVyprodáno4,3Pohlídat
