Paper Info
Title
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems.
Year
DOI
Venue
2012
10.1007/978-3-642-33167-1_34
ESORICS
Field
DocType
Citations 
Transition system,Information flow (information theory),Model checking,Petri net,Computer science,Decidability,Theoretical computer science,Bisimulation,Process calculus,Undecidable problem
Conference
0
PageRank 
References 
Authors
0.34
13
2
Name
Order
Citations
PageRank
Deepak D'souza123917.90
K. R. Raghavendra2171.71