Inverse relations

[ .. ] → kbdef:hasDerivative → A formal security analysis of an OSA/Parlay authentication interface / R. Corin ... [et al.]