Inproceedings,
Spyware Detection using Temporal Logic.
F. Fasano, F. Martinelli, F. Mercaldo, V. Nardone, and A. Santone.ICISSP, page 690-699. SciTePress, (2019)
Meta data
- BibTeX key
- conf/icissp/FasanoMMNS19
- entry type
- inproceedings
- booktitle
- ICISSP
- year
- 2019
- pages
- 690-699
- publisher
- SciTePress
- crossref
- conf/icissp/2019
- ee
- https://doi.org/10.5220/0007704806900699
- isbn
- 978-989-758-359-9
- url
- http://dblp.uni-trier.de/db/conf/icissp/icissp2019.html#FasanoMMNS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icissp/FasanoMMNS19
%A Fasano, Fausto
%A Martinelli, Fabio
%A Mercaldo, Francesco
%A Nardone, Vittoria
%A Santone, Antonella
%B ICISSP
%D 2019
%E Mori, Paolo
%E Furnell, Steven
%E Camp, Olivier
%I SciTePress
%K dblp
%P 690-699
%T Spyware Detection using Temporal Logic.
%U http://dblp.uni-trier.de/db/conf/icissp/icissp2019.html#FasanoMMNS19
%@ 978-989-758-359-9
@inproceedings{conf/icissp/FasanoMMNS19,
added-at = {2019-06-05T00:00:00.000+0200},
author = {Fasano, Fausto and Martinelli, Fabio and Mercaldo, Francesco and Nardone, Vittoria and Santone, Antonella},
biburl = {https://www.bibsonomy.org/bibtex/2eb69a309496ab41f8aeaa354c0b58a70/dblp},
booktitle = {ICISSP},
crossref = {conf/icissp/2019},
editor = {Mori, Paolo and Furnell, Steven and Camp, Olivier},
ee = {https://doi.org/10.5220/0007704806900699},
interhash = {522c90378854237ef29971cfa8f8c1bd},
intrahash = {eb69a309496ab41f8aeaa354c0b58a70},
isbn = {978-989-758-359-9},
keywords = {dblp},
pages = {690-699},
publisher = {SciTePress},
timestamp = {2019-06-06T11:38:46.000+0200},
title = {Spyware Detection using Temporal Logic.},
url = {http://dblp.uni-trier.de/db/conf/icissp/icissp2019.html#FasanoMMNS19},
year = 2019
}