Formalizing and Securing Relationships on Public Networks

TL;DR: In this paper, the authors proposed an ABAC access control model using smart contract on the blockchain for secure vehicle communication and access control, which facilitates the sharing of secure messages among vehicles, and vehicles are able to share the resources with each other exploiting the access control policy on the XACML standard.

TL;DR: In this article, the authors compared the current situations of blockchain applications with various blockchain systems, and focused on the solutions to the two major issues of data storage and privacy during the application process.

TL;DR: This work proposes an approach to reuse the execution of the deployment and the setup of unit test in smart contracts to reduce the execution time of these tests, without breaking the principle of test independency.

Abstract: Three years ago, I read Michael Polanyi's contribution—as a philosopher—to a symposium entitled Scientific Outlook: Its Sickness and Cure . In a brilliant, penetrating, and delightfully humorous criticism of R. W. Gerard's 1 biological contribution, he unerringly diagnosed the sickness of medicine: The fact that a so learned, ingenious and imaginative survey of living beings should deal so perfunctorily with some of the most important questions concerning them shows a fundamental deficiency of human thinking.... If a rat laps up a solution of saccharine, the rational explanation of this lies in the act that the solution tastes sweet and that the rat likes that. The tasting and liking are facts that physics and chemistry as known today cannot explain. Nothing is relevant to biology, even at the lowest level of life, unless it bears on the achievements of living beings... and distinctions unknown to physics and chemistry... The current idea of

TL;DR: The objective of this paper is to give a comprehensive introduction to applied cryptography with an engineer or computer scientist in mind on the knowledge needed to create practical systems which supports integrity, confidentiality, or authenticity.

TL;DR: The Electronic Data Interchange (EDI) as the first step of the internal re-engineering of business processes to electronic commerce is discussed in this article, where a cost-justification model and an extensive list of business documents that are today's biggest EDI hitters are presented.