共 50 条
- [11] Architecture of secure portable and interoperable electronic health records COMPUTATIONAL SCIENCE-ICCS 2002, PT II, PROCEEDINGS, 2002, 2330 : 982 - 994
- [12] Secure, atomic electronic commerce protocol and its formal verification Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2000, 37 (07): : 869 - 873
- [13] Modeling and Verification of Dependable Electronic Power System Architecture INTERNATIONAL CONFERENCE ON APPLIED PHYSICS AND INDUSTRIAL ENGINEERING 2012, PT A, 2012, 24 : 465 - 472
- [14] PASPORT: A Secure and Private Location Proof Generation and Verification Framework IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2020, 7 (02): : 293 - 307
- [15] A system of secure virtual coupons using NFC technology FIFTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, 2007, : 362 - +
- [17] Secure Architecture Dedicated for VANET Alarm Messages Authentication through Semantic Verification 2012 6TH INTERNATIONAL CONFERENCE ON SCIENCES OF ELECTRONICS, TECHNOLOGIES OF INFORMATION AND TELECOMMUNICATIONS (SETIT), 2012, : 652 - 657
- [18] Automated Generation, Verification, and Ranking of Secure SoC Access Control Policies 2023 CYBER-PHYSICAL SYSTEMS AND INTERNET-OF-THINGS WEEK, CPS-IOT WEEK WORKSHOPS, 2023, : 198 - 202
- [19] Secure Storage of Electronic Health Records on Cloud Using Integrity Verification Auditing REVISTA GEINTEC-GESTAO INOVACAO E TECNOLOGIAS, 2021, 11 (02): : 2132 - 2141
- [20] Secure Architecture for Inter-Healthcare Electronic Health Records Exchange 2020 IEEE INTERNATIONAL IOT, ELECTRONICS AND MECHATRONICS CONFERENCE (IEMTRONICS 2020), 2020, : 531 - 536