Abstract | ||
---|---|---|
We introduce Lola 2.0, a stream-based specification language for the precise description of complex security properties in network traffic. The language extends the specification language Lola with two new features: template stream expressions, which allow input data to be carried along the stream, and dynamic stream generation, where new monitors can be invoked during the monitoring process for the monitoring of new subtasks on their own time scale. Lola 2.0 is simple and expressive: it combines the ease-of-use of rule-based specification languages like Snort with the expressiveness of heavy-weight scripting languages or temporal logics previously needed for the description of complex stateful dependencies and statistical measures. Lola 2.0 specifications are monitored by incrementally constructing output streams from input streams, while maintaining a store of partially evaluated expressions. We demonstrate the flexibility and expressivity of Lola 2.0 using a prototype implementation on several practical examples. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-46982-9_10 | RUNTIME VERIFICATION, (RV 2016) |
Keywords | Field | DocType |
Runtime verification, Monitoring, Network intrusion detection | Specification language,Programming language specification,Programming language,Computer science,Runtime verification,Language Of Temporal Ordering Specification,Stateful firewall,Network monitoring,System requirements specification,Scripting language | Conference |
Volume | ISSN | Citations |
10012 | 0302-9743 | 6 |
PageRank | References | Authors |
0.49 | 16 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Faymonville | 1 | 25 | 3.28 |
Bernd Finkbeiner | 2 | 666 | 69.95 |
Sebastian Schirmer | 3 | 6 | 0.49 |
Hazem Torfah | 4 | 19 | 5.06 |