P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, and J.-L. Lanet. Electronic purse applet certi cation (extended abstract). In Workshop on Secure Architectures and Information Flow, number 32 in ENTCS, 2000.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....or public. However all results will be given for an arbitrary lattice of security levels. For some Research partially funded by the EU Working Group CONFER II and by the french RNRT Project MARVEL. 1 concrete examples using a more sophisticated lattice of security levels, see for instance [3]. Our starting point is the paper [21] by Volpano, Smith and Irvine, and the subsequent paper [18] by Smith and Volpano, where noninterference is enforced by means of a simple type system in an imperative language with security levels. The language considered in [21] is purely sequential, and is ....

P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, and J.-L. Lanet. Electronic purse applet certication (extended abstract). In Workshop on Secure Architectures and Information Flow, number 32 in ENTCS, 2000.

No context found.

P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, and J.-L. Lanet. Electronic purse applet certi cation (extended abstract). In Workshop on Secure Architectures and Information Flow, number 32 in ENTCS, 2000.

No context found.

P. Bieber, J. Cazin, V. Wiels, G. Zanon, P. Girard, and J.-L. Lanet. Electronic Purse Applet Certication. In S. Schneider and P. Ryan, editors, Proceedings of the Workshop on Secure Architectures and Information Flow, volume 32 of Electronic Notes in Theoretical Computer Science. Elsevier Publishing, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC