机译:通过应用面向安全风险的模式来保护正式的启用了区块链的身份认证协议
Tallinn Univ Technol Blockchain Technol Grp Akad Tee 15A EE-12618 Tallinn Estonia;
Univ Tartu Inst Comp Sci J Liivi 2 EE-50409 Tartu Estonia;
Univ Gottingen Inst Comp Sci Goldschmidtstr 7 D-37077 Gottingen Germany;
Authcoin; Colored petri net; Authentication; Security; Patterns; Access control; Identity; Blockchain; Smart contract; Formal verification;
机译:通过应用面向安全风险的模式来保护正式的启用了区块链的身份认证协议
机译:使用面向安全风险的模式从业务流程中消除安全要求
机译:使用面向安全风险的模式保护业务流程
机译:将需求规范映射到启用了区块链的形式化身份验证协议中,以确保个人身份安全
机译:RFID协议中不可追溯性的分类,形式化和自动验证。
机译:医院卫生信息安全:安全保障措施的应用
机译:使用面向安全风险的模式保护航空周转流程