共 50 条
- [1] Formal Security Policy Model for a Common Criteria evaluation [J]. 9TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY: TOWARD NETWORK INNOVATION BEYOND EVOLUTION, VOLS 1-3, 2007, : 277 - +
- [2] Formal methods and security evaluation [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 291 - 291
- [3] A Security Model for Protecting Data Storage On Cloud to Enhance Security Level by Evasive the Data [J]. 2018 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATION AND TELECOMMUNICATION (ICACAT), 2018,
- [4] Formal security model of multisignatures [J]. INFORMATION SECURITY, PROCEEDINGS, 2006, 4176 : 146 - 160
- [5] Reconstructing a formal security model [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (11) : 649 - 657
- [6] Formal Analysis of SPDM: Security Protocol and Data Model version 1.2 [J]. PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 6611 - 6628
- [7] A NEURAL DATA SECURITY MODEL: ENSURE HIGH CONFIDENTIALITY AND SECURITY IN CLOUD DATA STORAGE ENVIRONMENT [J]. 2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 400 - 406
- [9] Data Encryption Framework Model with Watermark Security for Data Storage in Public Cloud Model [J]. 2014 INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM), 2014, : 903 - 907
- [10] Data Security Storage Model of the Internet of Things Based on Blockchain [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2021, 36 (01): : 213 - 224