temporal filter: a temporal extension to wireshark display filter

	temporal filter: a temporal extension to wireshark display filter
	Wang Shaochun
	2010
会议名称	22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010
会议录名称	SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering
页码	421-424
会议日期	44013
会议地点	Redwood City, CA, United states
收录类别	EI
出版地	United States
ISBN	1891706268
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) Graduate University, Chinese Academy of Sciences, China
摘要	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.
关键词	Electric Network Analysis Knowledge Engineering Software Engineering
主办者	Knowledge Systems Institute Graduate School
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8930
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Wang Shaochun. temporal filter: a temporal extension to wireshark display filter[C]. United States,2010:421-424.