Titlebook: Information Systems Security; 15th International C Deepak Garg,N. V. Narendra Kumar,Rudrapatna K. Shy Conference proceedings 2019 Springer

BIAS

狂热语言

Ingest

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

Aggrandize

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

真实的人

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

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

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

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

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.