共 50 条
- [35] Information Theory and Security: Quantitative Information Flow FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, 2010, 6154 : 87 - 134
- [36] An Information Flow Security Model for Home Area Network of Smart Grid 2013 IEEE 3RD ANNUAL INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL AND INTELLIGENT SYSTEMS (CYBER), 2013, : 456 - +
- [37] Research on Security Provenance Model of Information-flow in Electronic Commerce NINTH WUHAN INTERNATIONAL CONFERENCE ON E-BUSINESS, VOLS I-III, 2010, : 905 - 910
- [38] Model Checking the Information Flow Security of Real-Time Systems ENGINEERING SECURE SOFTWARE AND SYSTEMS, ESSOS 2018, 2018, 10953 : 27 - 43
- [40] Automatic Load Testing of Web Application in SaaS Model NEW RESULTS IN DEPENDABILITY AND COMPUTER SYSTEMS, 2013, 224 : 421 - 430