Keyword : hybrid monitor


Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -
Bao Trung CHU Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   
Publication Date: 2019/10/01
Vol. E102-D  No. 10 ; pp. 1952-1965
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
quantitative information flowhybrid monitordynamic leakage
 Summary | Full Text:PDF(456.4KB)