Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card

This publication has 9 references indexed in Scilit:

• SIGMA: The ‘SIGn-and-MAc’ Approach to Authenticated Diffie-Hellman and Its Use in the IKE Protocols
  Published by Springer Nature ,2003
• Validation of Elliptic Curve Public Keys
  Published by Springer Nature ,2002
• Security Analysis of IKE’s Signature-Based Key-Exchange Protocol
  Published by Springer Nature ,2002
• Verification of a Formal Security Model for Multiapplicative Smart Cards
  Published by Springer Nature ,2000
• The Internet Key Exchange (IKE)
  Published by RFC Editor ,1998
• HMAC: Keyed-Hashing for Message Authentication
  Published by RFC Editor ,1997
• A key recovery attack on discrete log-based schemes using a prime order subgroup
  Published by Springer Nature ,1997
• The Lattice Security Model In A Public Computing Network
  Published by Association for Computing Machinery (ACM) ,1978
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976