A Model-Based Approach to Security Flaw Detection of Network Protocol Implementations
Source: Institute of Electrical and Electronics Engineers
A lot of efforts have been devoted to the analysis of network protocol specification for reliability and security properties using formal techniques. However, faults can also be introduced during system implementation; it is indispensable to detect protocol implementation flaws, yet due to the black-box nature of protocol implementation and the unavailability of protocol specification most of the approaches resort to random or manual testing. In this paper the authors propose a model-based approach for security flaw detection of protocol implementation with a high fault coverage, measurability, and automation.
| Format: | Size: | 1017.50 | |
| Date: | May 2008 |
People who downloaded this item also downloaded
- Modeling and Simulation of Scalable Cloud Computing Environments and the CloudSim Toolkit: Challenges and Opportunities
- Evaluating the Cost-Benefit of Using Cloud Computing to Extend the Capacity of Clusters
- Performance Analysis of Cloud Computing Services for Many-Tasks Scientific Computing
- A Cost-Benefit Analysis of Using Cloud Computing to Extend the Capacity of Clusters
- The Importance Of Budgeting And Forecasting For Small Businesses
