BIAS
发表于 2025-3-26 23:04:58
http://reply.papertrans.cn/47/4656/465529/465529_31.png
狂热语言
发表于 2025-3-27 02:28:26
http://reply.papertrans.cn/47/4656/465529/465529_32.png
Ingest
发表于 2025-3-27 09:19:41
Conference proceedings 2019 and selected from 63 submissions..The papers cover topics such as: smart contracts; formal techniques; access control; machine learning; distributed systems; cryptography; online social networks; images and cryptography..
Substance-Abuse
发表于 2025-3-27 10:03:18
http://reply.papertrans.cn/47/4656/465529/465529_34.png
Aggrandize
发表于 2025-3-27 16:26:27
Conference proceedings 2019December 2019..The 13 revised full papers and 4 short papers presented in this book together with 4 abstracts of invited talks were carefully reviewed and selected from 63 submissions..The papers cover topics such as: smart contracts; formal techniques; access control; machine learning; distributed
真实的人
发表于 2025-3-27 19:01:25
Trustworthy Isolation of DMA Enabled Devicesions and that ensures that all memory accesses address allowed memory regions only. We demonstrate our approach by extending an existing Virtual Machine Introspection (VMI) with the monitor. The resulting platform prevents code injection in a connected and untrusted Linux (The HOL4 proofs and the source code of the monitor are published at ..).
Hectic
发表于 2025-3-27 22:50:27
Item-Based Privacy-Preserving Recommender System with Offline Users and Reduced Trust Requirementsfer from the offline user problem. Unlike previous works, our proposal does not require any additional third party. We demonstrate with the help of experiments that the time required to generate recommendations is efficient for practical applications.
REIGN
发表于 2025-3-28 03:44:28
A Transparent and Privacy-Aware Approach Using Smart Contracts for Car Insurance Reward Programshain, (ii) use distinct pseudonyms to hide his or her real identity, (iii) choose what accuracy sensing data has, and (iv) verify whether his or her sensing data allows him or her to remain indistinguishable from other drivers whose data has been already disclosed in the blockchain.
Pander
发表于 2025-3-28 07:01:03
VisMAP: Visual Mining of Attribute-Based Access Control Policiesum. The problem is shown to be NP-Complete and hence, heuristic solution is proposed. We experimentally evaluate our proposed approach on a number of synthetically generated data sets to study its robustness and scalability in a variety of situations.
BOLUS
发表于 2025-3-28 14:17:14
Secure Information Flow Analysis Using the PRISM Model Checkerled PRISM-Leak, which is constructed on the PRISM model checker. An anonymity protocol, the dining cryptographers, is discussed as a case study to show how PRISM-Leak can be used to evaluate the security of programs. The scalability of the tool is demonstrated by comparing it to the state-of-the-art information flow tools.