Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CSFW
2010
IEEE

favoriteEmaildiscussreport

174views Security Privacy» more CSFW 2010»

Quantitative Information Flow - Verification Hardness and Possibilities

13 years 8 months ago

Quantitative Information Flow - Verification Hardness and Possibilities

Download www.kb.ecei.tohoku.ac.jp

Hirotoshi Yasuoka, Tachio Terauchi

Real-time Traffic

CSFW 2010 | Security Privacy |

claim paper

Related Content

» On Bounding Problems of Quantitative Information Flow

» Differential Privacy versus Quantitative Information Flow

» The Complexity of Quantitative Information Flow Problems

» A Segmentation Based Variational Model for Accurate Optical Flow Estimation

» Program Analysis Probably Counts

» Improving content delivery using provideraided distance information

» Application of Petri net based analysis techniques to signal transduction pathways

» Lightweight Process Documentation Just Enough Structure in Automotive Predevelopment

» The floodgate principle a hybrid approach to a high security solution

» ProfilingByAssociation a resilient traffic profiling solution for the internet backbone

Post Info
More Details (n/a)

Added	02 Sep 2010
Updated	02 Sep 2010
Type	Conference
Year	2010
Where	CSFW
Authors	Hirotoshi Yasuoka, Tachio Terauchi

Comments (0)