Toward automatic proof generation for information flow policies in third-party hardware IP.

Mohammad-Mahdi Bidmeshki Yiorgos Makris

Published in: HOST (2015)

Keyphrases

third party
information flow
communication networks
flow analysis
information flows
social networks
supply chain
reverse logistics
information security
sensitive information
private information
privacy policies
flow graph
optimal policy
smart card
mashup