- Full text PDF available (59)
- This year (6)
- Last 5 years (90)
- Last 10 years (203)
In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology.
Anomaly-based intrusion detection is a crucial research issue as it permits to identify attacks that does not necessarily have known signatures. However, approaches using anomalies often consume more resources than those based on misuse detection and have a higher false alarm rate. This paper presents an efficient anomaly analysis method that is proved to… (More)
Several solutions were proposed to address VoIP security and quality of service in mobile wireless networks. However, the two aspects were approached by the literature independently of each other. The issue becomes more important to address in the context of vehicular adhoc networks where vehicles are highly mobile and the SIP handover procedure may exhibit… (More)
One of the major interest perceived by research in digital forensic investigation is the development of theoretical andscientifically proven methods of incident analysis. However, two main problems, which remain unsolved by the literature, could lead the formal incident analysis to be inconclusive. The former is related to the absence of techniques to cope… (More)