The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Computer network defense has traditionally been provided using reactionary tools such as signature-based detectors, white/blacklisting, intrusion detection/protection systems, etc. While event detection/correlation techniques may identify threats — those threats are then dealt with manually, often employing obstruction-based responses (e.g., blocking). As threat sophistication grows, we find these...
The property of intransitive non-interference (INI) is widely used in the formal verification of security in computer systems and protocols. In our previous work, we derived conditions and algorithms for checking INI. If INI is not satisfied, then the behavior of the system must be modified in order to ensure its security. How to best modify a system's behavior is the subject of the current technical...
The paper puts forward the basic theory and concept of intrusion detection and discusses the essential principle of intrusion detection technology, especially discusses the technology based on statistic model. At the same time, a basic structure of abnormal intrusion detection system has been designed in the paper. According to the probability theory, a new abnormal intrusion detection algorithm model...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.