征稿范围
                            
                                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                            
                                                              
            
留言