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,PACSS},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4192412