In this paper, we propose a mutual authentication scheme using nonce variable instead of Mac address and accompanying with token updates to improve the functionality. Lee et al. (2...
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
For hardware security applications, the availability of secret keys is a critical component for secure activation, IC authentication and for other important applications including...
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...