We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, secure communication between applications and secure downloading of new applications. The model satisfies a security policy consisting of authentication and intransitive noninterference. The model extends the classical security m...

The game of two-person single-suit whist is played with a deck consisting of a single totally ordered suit of 2n cards. Each of the two players receives n cards. Hence both players have complete information about the distribution of the cards. One of the players is said to be on lead. Play proceeds in rounds called tricks. The player on lead plays one of his cards, and with knowledge of this ca...

Electronic commerce demands different security requirements for its many different applications. In the near future one smartcard may be used for many electronic commerce applications, such as payment systems, access to banking services and financial transactions over the Internet. A role and task based security model (R&T model) can ensure a secure access to many different services through an ...