TY - JOUR
T1 - Formal specification for fast automatic IDS training
AU - Durante, Antonio
AU - Di Pietro, Roberto
AU - Mancini, Luigi V.
N1 - Generated from Scopus record by KAUST IRTS on 2023-09-20
PY - 2003/1/1
Y1 - 2003/1/1
N2 - This paper illustrates a methodology for the synthesis of the behavior of an application program in terms of the set of system calls invoked by the program. The methodology is completely automated, with the exception of the description of the high level specification of the application program, which is demanded to the system analyst. The technology employed (VSP/CVS) for such synthesis minimizes the efforts required to code the specification of the application. The methodology is completely independent from the intrusion detection tool adopted, and appears suitable to derive the expected behavior of a secure WEB server that can effectively support the increasing request of security that affects the e-commerce. As a case study, the methodology is applied to the Post Office Protocol, the ipop3d daemon. © Springer-Verlag Berlin Heidelberg 2003.
AB - This paper illustrates a methodology for the synthesis of the behavior of an application program in terms of the set of system calls invoked by the program. The methodology is completely automated, with the exception of the description of the high level specification of the application program, which is demanded to the system analyst. The technology employed (VSP/CVS) for such synthesis minimizes the efforts required to code the specification of the application. The methodology is completely independent from the intrusion detection tool adopted, and appears suitable to derive the expected behavior of a secure WEB server that can effectively support the increasing request of security that affects the e-commerce. As a case study, the methodology is applied to the Post Office Protocol, the ipop3d daemon. © Springer-Verlag Berlin Heidelberg 2003.
UR - http://link.springer.com/10.1007/978-3-540-40981-6_16
UR - http://www.scopus.com/inward/record.url?scp=35248858891&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-40981-6_16
DO - 10.1007/978-3-540-40981-6_16
M3 - Article
SN - 1611-3349
VL - 2629
SP - 191
EP - 204
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ER -