Symbolic Quantitative Information Flow

Phan, Q-S
Malacaria, P
Tkachuk, O
Pasareanu, CS

Open PDF

Open link

Publication date

November 2012

DOI

10.1145/2382756.2382791

Publisher

Association for Computing Machinery (ACM)

ISSN

0163-5948

Journal

ACM SIGSOFT Software Engineering Notes

Language

English

Citation count (estimate)

Abstract

acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages:

Extracted data

We use cookies to provide a better user experience.

Data Protection

Symbolic Quantitative Information Flow

Abstract

Extracted data

Symbolic Quantitative Information Flow

Abstract

Extracted data

Related items

Related items