formal verification; protocols; algebraic specification; rewriting systems; authorisation; theorem proving; electronic money; equational approach; formal verification; abstract SET payment protocol; payment gateway; cardholder; merchant; transaction amount; algebraic specification; interactive theorem proving; security; rewriting;
机译:基于递归方程和等效检查的形式验证
机译:基于递归方程和等效检查的形式验证
机译:形式成核和生长速率方程的实验验证-铀表面上的UH3初始形成
机译:SET形式验证的方程式方法
机译:方程式统一及其在密码协议形式验证中的应用
机译:二阶微分方程的性质及其在形式动力学中的应用
机译:多项式方程的编译器变换的形式验证
机译:对一组内存管理单元的正式验证