There is an increasing demand to certify the security of systems according to the Common Criteria (CC). The CC distinguish several evaluation assurance levels (EALs), level EAL7 being the highest and requiring the application of formal techniques. We present a method for requirements engineering and (semi-formal and formal) modeling of systems to be certified according to the higher evaluation ...

Near Field Communication (NFC) is a technology widely used for security-critical applications like access control or payment systems. Many of these systems rely on the security assumption that the card has to be in close proximity to communicate with the reader. We developed NFCGate, an Android application capable of relaying NFC communication between card and reader using two rooted but otherw...

introduction: electronic health record contains all the information related to the health of citizens, from before birth to death have been consistently over time is electronically stored and will be available without regard to location or time all or part of it to authorized persons. the acceptance of ehr by citizens is important in successful implementation of it. the aim of this study was to...

The 9/11 tragedy triggered an increased interest in biometric passports. According to several sources [2], the electronic ID market is expected to increase by more than 50% per annum over the three coming years, excluding China. To cost-effectively address this foreseen explosion, a very inexpensive memory card (phonecard-like card) capable of performing fingerprint matching is paramount. This ...

The new German electronic identity card will allow service providers to access personal data stored on the card. This imposes a new quality of data processing as these data have been governmentally verified. According to European privacy legislation any data processing must be justified in the sense that the personal data are necessary for the stipulated purpose. This need-toknow principle is a...

readiness assessment provides a proper image of the existing conditions and an explanation of facilitated operational plans and functional approaches to successful implementation of electronic health record. readiness assessment requires indices adjusted to particular conditions in each country. therefore, the present study attempts to provide an acceptable model in iran and to provide an asses...

Methodology How to obtain copies of this and other HTA Programme reports. An electronic version of this publication, in Adobe Acrobat format, is available for downloading free of charge for personal use from the HTA website Printed copies of HTA monographs cost £20 each (post and packing free in the UK) to both public and private sector purchasers from our Despatch Agents. Non-UK purchasers wil...