This paper describes the study of cryptographic hash functions, one of the most important classes of primitives used in recent techniques in cryptography. The main aim is the development of recent crypt analysis hash function. We present different approaches to defining security properties more formally and present basic attack on hash function. The Main aim of this paper is the development of ...

A consistent query protocol allows a database owner to publish a very short string c which commits her to a particular database D with special consistency property (i.e., given c, every allowable query has unique and well-defined answer with respect to D.) Moreover, when a user makes a query, any server hosting the database can answer the query, and provide a very short proof π that the answer ...

INTRODUCTION Mankind has been constantly exposed to radiation by natural radioactivity, nuclear tests, medical applications and nuclear energy activities. The natural radioactivity is the main component to human exposure and it is recognized that the most important contributors to the committed effective dose received by population due to natural sources are the short-lived decay products of ra...

This paper considers a model of the provision of information about legal rules to parties when they have already committed acts to which the rules apply.’ The provision of advice about legal rules in these circumstances is, of course, one of the main tasks of lawyers in the setting of litigation. (Why individuals often obtain advice only after they have acted, not before, is discussed in our co...

As part of the regulatory response to the recent global financial crisis, the Basel Committee on Banking Supervision (BCBS) announced a new international regulatory framework for banks, known as Basel III. One important component of Basel III is the Liquidity Coverage Ratio (LCR), which aims to ensure that banks hold a more liquid portfolio of assets and rely on the central bank for funding onl...

The ability of sequential and parallel Prologs to implement don’t know non-determinism in resolution efficiently makes them apt for supporting a knowledge base querying capability. On the other hand their search based execution model and their trial use of bindings makes them unsuitable for systems programming. Conversely the use by concurrent logic programming or CLP languages of committed bin...