𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - An Automatic Approach to Verify Sensor Network Systems

✍ Scribed by Zheng, Man Chun

Book ID: 126694489
Publisher: IEEE
Year: 2010
Weight: 306 KB
Category: Article
ISBN: 1424476445
DOI: 10.1109/SSIRI-C.2010.12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - Formal Analysis for Stateflow Diagrams

✍ Chen, Chunqing 📂 Article 📅 2010 🏛 IEEE ⚖ 213 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - The Problem of Usable Binary Authentication

✍ Wu, Yongzheng; Yap, Roland H. C. 📂 Article 📅 2010 🏛 IEEE ⚖ 146 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - Classification of Static Analysis-Based Buffer Overflow Detectors

✍ Shahriar, Hossain; Zulkernine, Mohammad 📂 Article 📅 2010 🏛 IEEE ⚖ 334 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - PhishTester: Automatic Testing of Phishing Attacks

✍ Shahriar, Hossain; Zulkernine, Mohammad 📂 Article 📅 2010 🏛 IEEE ⚖ 530 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications

✍ Liu, Shaoying; Nakajima, Shin 📂 Article 📅 2010 🏛 IEEE ⚖ 446 KB

[IEEE 2010 Fourth International Conferen

[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement - Failure Type-Aware Reliability Assessment with Component Failure Dependency

✍ Mohamed, Atef; Zulkernine, Mohammad 📂 Article 📅 2010 🏛 IEEE ⚖ 390 KB