%0 Conference Paper %1 conf/lics/Comon-Lundh13 %A Comon-Lundh, Hubert %B LICS %D 2013 %I IEEE Computer Society %K dblp %P 1 %T LICS: Logic in Computer Security - Some Attacker's Models and Related Decision Problems. %U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#Comon-Lundh13 %@ 978-1-4799-0413-6

@inproceedings{conf/lics/Comon-Lundh13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Comon-Lundh, Hubert}, biburl = {https://www.bibsonomy.org/bibtex/2fa7cc3356b3fb5690c6394c9fd29fb4f/dblp}, booktitle = {LICS}, crossref = {conf/lics/2013}, ee = {http://dl.acm.org/citation.cfm?id=2591421}, interhash = {c9ea2658c8a4a3b9d2c8bd5b0b1fe2bf}, intrahash = {fa7cc3356b3fb5690c6394c9fd29fb4f}, isbn = {978-1-4799-0413-6}, keywords = {dblp}, pages = 1, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:10.000+0200}, title = {LICS: Logic in Computer Security - Some Attacker's Models and Related Decision Problems.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#Comon-Lundh13}, year = 2013 }