Detection of emergent behavior for internet filtering systems

Network filtering has become an important security issue worldwide. Network filters are designed and put in place to enforce restrictions for a variety of different motives, such as political, social, economical or merely security reasons. Although network filters can be applied to different network...

Full description

Saved in:
Bibliographic Details
Main Authors: Moshirpour, M., Mohassel, P., Eberlein, A., Far, B. H.
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Computer science
Conferences
Decision support systems
Educational institutions
Emergent behavior
Handheld computers
Illegal scenarios
Internet filtering
Message sequence
Network security
Scenario-based software engineering
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Network filtering has become an important security issue worldwide. Network filters are designed and put in place to enforce restrictions for a variety of different motives, such as political, social, economical or merely security reasons. Although network filters can be applied to different networks, their main use is for the Internet. However, as is the case with most network security measures, many network filters are bypassed by users and thus are not completely adequate to perform their tasks. This paper approaches the network filtering concepts from a software engineering perspective. The general purpose of this approach is to utilize automated methodologies to analyze the correctness of the requirements of the filtering mechanisms, and to reduce their vulnerability. In order to achieve this, requirements are expressed using scenario-based specifications. The resulting scenarios are then analyzed for unwanted behavior using automated methodology. To demonstrate the effectiveness of this approach, it is applied to the case study of a real-life Internet-filtering system.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.2012.6377991