Which security policy for multiapplication smart cards?

Proceedings of the 1st Workshop on Smartcard Technology, Smartcard 1999

Volumn , Issue , 1999, Pages

  Girard, Pierre ^a  

^a GEMPLUS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA SHARING; HARDWARE SECURITY; SECURITY SYSTEMS;

INFORMATION FLOWS; MULTI-LEVEL SECURITY MODELS; MULTIAPPLICATION SMART CARDS; SECURITY POINT; SECURITY POLICY; SECURITY THREATS; TRUST RELATIONSHIP;

SMART CARDS;

EID: 85094816321     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Jean-Pierre Banatre, Ciaran Bryce, and Daniel Le Mtayer. Compile-time detection of information flow in sequential programs. In Dieter Gollmann, editor, Proceedings of ESORICS, number 875 in LNCS, pages 55-73. Springer, November 1994.
2. D. Bell and L. Lapadula. Secure computer systems: Unified exposition and MULTICS interpretation. Technical report ESD-TR-75-306, MITRE Corporation, 1975.
3. Pierre Bieber. Formal techniques for an ITSEC-E4 secure gateway. In Proceedings of the Twelfth Annual Computer Security Applications Conference, December 1996.
4. J. Cazin, P. Girard, C. O'Halloran, and C. Sennett. Formal validation of software for secure systems. In Formal Methods, Modelling and Simulation for System Engineering, Saint - Quentin-en-Yvelines, February 1995.
5. Frdric Cuppens and Alban Gabillon. Rules for designing multilevel object-oriented databases. In Jean-Jacques Quisquater and al, editors, Proceedings of ESORICS, number 1485 in LNCS, pages 159-174. Springer, September 1998.
6. Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Communication of the ACM, 20(7):504-512, July 1977.
7. Jean-Louis Lanet and Antoine Requet. Formal proof of smart card applets correctness. In Jean-Jacques Quisquater and al., editors, PreProceedings of CARDIS, Louvain-la-Neuve, September 1998.
8. Maasaki Mizuno and David Schmidt. A security flow control algorithm and its denotational semantics correctness proof. Formal Aspects of Computing, 4:727-754, 1992.
9. Joachim Posegga and Harald Vogt. Byte code verification for Java smart cards based on model checking. In Jean-Jacques Quisquater and al., editors, Proceedings of ESORICS, number 1485 in LNCS, pages 175-190. Springer, September 1998.
10. John Rushby. Noninterference, transitivity, and channel-control security policies. Technical Report CSL-92-02, SRI, December 1992.
11. Dennis Volpano and Cynthia Irvine. Secure flow typing. Computers and Security, 16(2):137-144, 1997.