A definition of user-controlled anonymity is introduced for Direct Anonymous Attestation schemes. The definition is expressed as an equivalence property suited to automated reasoning using ProVerif and the practicality of the definition is demonstrated by examining the ECC-based Direct Anonymous Attestation protocol by Brickell, Chen & Li. We show that this scheme is secure under the assumption...

This paper addresses the difference between the right of access of the citizen to information held by the public sector, and the re-use of public sector information. It argues that the distinction is difficult to maintain in a continuously evolving information society and questions whether the definition of re-use in the European directive on the re-use of public sector information should be re...

We propose a new unidirectional proxy re-encryption scheme based on the hardness of the LWE problem. Our construction is collusionsafe and does not require any trusted authority for the re-encryption key generation. We extend a recent trapdoor definition for a lattice of Micciancio and Peikert. Our proxy re-encryption scheme is provably CCA-1 secure in the selective model under the LWE assumption.

Recent advances in system design are presented. The shift towards flexible hardware architectures that can support a variety of applications via programmability and re-configurability is underlined. Essential to this process is the definition and use of platforms. We give an abstract definition of platform and show its use in system design drawing examples from the automotive system design field.

Communications protocols re-synthesis involves the augmentation of existing synthesized protocol entities given a modified formal service definition. This process would reduce the time required for deploying enhanced and frequently modified services. In this paper, we introduce a re-synthesis technique based on a service-oriented protocol synthesis method introduced earlier [1]. Re-synthesis ca...

as we know, at the course of history of thought the definition of religion has been always a significant dilemma and each thinker or philosopher of religion had inclination to present an accurate definition of religion. in spite of these attempts, there has been no consentaneous definition of religion up to now. difficulty of the definition of religion has several reasons that in this article s...

The article deals with the economic aspects of artistic production as a part spiritual production. definition is given and its sectoral structure re-vealed. economics beauty considered in context development society.