共 50 条
- [22] A Model-Based Approach to Secure Multiparty Distributed Systems LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 893 - 908
- [24] A Scalable and Flexible Web Services Authentication Model SWS'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON SECURE WEB SERVICES, 2007, : 66 - 72
- [25] Secure Multiparty Sessions with Topics ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (211): : 1 - 12
- [29] Secure Multiparty Computations on Bitcoin 2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, : 443 - 458
- [30] Secure multiparty computation of DNF INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2007, 4681 : 254 - 268