Work

Automated analysis of timed security: a case study on web privacy

Year: 2004

Type: article

Source: International Journal of Information Security

DOI: 10.1007/s10207-004-0037-9

Authors: Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Institutions: University of Bologna, University of Insubria, University of Pisa, Institute of Informatics and Telematics, Sapienza University of Rome

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2010011984

FWCI: 1.424

Cites: 35

Cited by: 13

Related to: 9