征稿范围
The list of topics includes, but it is not limited to:
Probabilistic/stochastic model checking
Quantitative information flow analysis
Quantitative issues in access and usage control
Security testing techniques
Static/Dynamic code analysis techniques
Metr
留言