Authorization; Authentication; Banking; Servers; Standards; Analytical models;
机译:系统地打破和修复OpenID安全性:形式化分析,半自动实证评估和实际对策
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:对OpenID金融级API进行了广泛的正式安全分析
机译:通过对Web API的成本效益分析来改善Web隐私和安全性
机译:OpenID Connect作为基于云的医学成像系统中的安全服务
机译:Web ssO标准OpenID Connect:深入的正式安全分析 和安全指南