in [MS01], to handle the algebraic properties of Abelian group operators. For any well- defined cryptographic protocol, we show that symbolic trace ...
確定! 回上一頁