Verimag

bibtex

@inproceedings{CEL07,
    title = {Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption },
    author = {Courant, Judica\"el and Ene, Cristian and Lakhnech, Yassine},
    year = {2007},
    booktitle = {FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings},
    pages = {364-375},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {4855},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 11 ; visites : 441163