A Generic Approach to the Security of Multi-threaded Programs

@inproceedings{pub1532,
    author = {

Mantel, Heiko
 and 

Sabelfeld, Andrei
},
    title = {A Generic Approach to the Security of Multi-threaded Programs},
    booktitle = {Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton},
    year = {2001},
    month = {6},
    pages = {126--142},
    address = {Cape Breton, Nova Scotia, Canada},
    publisher = {IEEE Computer Society}
}