@article{Clarkson_2010,
    doi = {10.3233/jcs-2009-0393},
    url = {https://doi.org/10.3233%2Fjcs-2009-0393},
    year = {2010},
    month = {sep},
    publisher = {{IOS} Press},
    volume = {18},
    number = {6},
    pages = {1157--1210},
    author = {Michael R. Clarkson and Fred B. Schneider},
    editor = {Andrei Sabelfeld},
    title = {Hyperproperties},
    journal = {Journal of Computer Security}
}

@article{Clarkson_2010, doi = {10.3233/jcs-2009-0393}, url = {https://doi.org/10.3233%2Fjcs-2009-0393}, year = {2010}, month = {sep}, publisher = {{IOS} Press}, volume = {18}, number = {6}, pages = {1157--1210}, author = {Michael R. Clarkson and Fred B. Schneider}, editor = {Andrei Sabelfeld}, title = {Hyperproperties}, journal = {Journal of Computer Security} }