Institutional Repository
| temporal filter: a temporal extension to wireshark display filter | |
| Wang Shaochun | |
| 2010 | |
| Conference Name | 22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010 |
| Source | SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering |
| Pages | 421-424 |
| Conference Date | 44013 |
| Conference Place | Redwood City, CA, United states |
| Indexed Type | EI |
| Publish Place | United States |
| ISBN | 1891706268 |
| Department | (1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) Graduate University, Chinese Academy of Sciences, China |
| English Abstract | Wireshark is a widely used network analysis tool. Its display filter is one of the most useful mechanisms in wireshark. In a display filter, we specify the packet property based on only individual packet. In this paper, we provide a temporal logic extension to the wireshark's display filter which gives us the power to specify property based on the whole network flow. This temporal filter has enough power to express properties we care about in reality. |
| Keyword | Electric Network Analysis Knowledge Engineering Software Engineering |
| Sponsorship | Knowledge Systems Institute Graduate School |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8930 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Wang Shaochun. temporal filter: a temporal extension to wireshark display filter[C]. United States,2010:421-424. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment