Position-spoofing-based attacks seriously threaten the security of Vehicular Ad Hoc Network(VANET).An effective solution to detect position spoofing is location verification.However,since vehicles move fast and the to...Position-spoofing-based attacks seriously threaten the security of Vehicular Ad Hoc Network(VANET).An effective solution to detect position spoofing is location verification.However,since vehicles move fast and the topology changes quickly in VANET,the static location verification method in Wireless Sensor Network(WSN) is not suitable for VANET.Taking into account the dynamic changing topology of VANET and collusion,we propose a Time-Slice-based Location Verification scheme,named TSLV,to resist position spoofing in VANET.Specifically,TSLV transforms the dynamic topology into static topology by time slice and each time slice corresponds to a verification process.The verifier can implement location verification for the corresponding prover.During the verification process,the verifier first filters out vehicles which provide unreasonably claimed locations,and then uses the Mean Square Error(MSE)-based cluster approach to separate the consistent vehicles by time slice,and uses the consistent set for its verification.In addition,security analysis and simulation show that TSLV can defend against the collusion attack effectively.展开更多
低压配电网拓扑缺乏维护,准确度低,难以支撑各种高级应用的实现。为此,文章提出一种基于Levenshtein距离和时间切面的拓扑识别算法。首先分析配电网拓扑架构,提出使用电流事件特征进行拓扑识别研究。其次描述了电流事件的提取方法,使用...低压配电网拓扑缺乏维护,准确度低,难以支撑各种高级应用的实现。为此,文章提出一种基于Levenshtein距离和时间切面的拓扑识别算法。首先分析配电网拓扑架构,提出使用电流事件特征进行拓扑识别研究。其次描述了电流事件的提取方法,使用改进滑动窗的累积和(cumulative sum control chart,CUSUM)事件检测算法进行电流事件提取。接着描述了采用Levenshtein距离算法和时间切面方法对箱变电流序列和用户表箱采集设备电流序列进行比对,提出使用序列匹配度描述台区户变拓扑的相关程度。最后基于现场台区数据进行计算分析,验证了该方法的可行性和准确性。展开更多
以某自动校时电子钟项目为例,在Cotex-M3内核芯片上采用面向对象编程方法分析项目的业务需求,提取业务逻辑的共性内容,并创建应用程序类。借鉴嵌入式操作系统时间片任务调度的方法,得到一种新的嵌入式项目编程解决方案,在无操作系统的...以某自动校时电子钟项目为例,在Cotex-M3内核芯片上采用面向对象编程方法分析项目的业务需求,提取业务逻辑的共性内容,并创建应用程序类。借鉴嵌入式操作系统时间片任务调度的方法,得到一种新的嵌入式项目编程解决方案,在无操作系统的微控制单元(Micro Control Unit,MCU)上实现时间片调度应用程序对象,用以提升程序的条理性,增强代码的可移植性和复用性,便于程序的扩展。展开更多
基金supported by National Natural Science Foundation of China under Grant No.60972036
文摘Position-spoofing-based attacks seriously threaten the security of Vehicular Ad Hoc Network(VANET).An effective solution to detect position spoofing is location verification.However,since vehicles move fast and the topology changes quickly in VANET,the static location verification method in Wireless Sensor Network(WSN) is not suitable for VANET.Taking into account the dynamic changing topology of VANET and collusion,we propose a Time-Slice-based Location Verification scheme,named TSLV,to resist position spoofing in VANET.Specifically,TSLV transforms the dynamic topology into static topology by time slice and each time slice corresponds to a verification process.The verifier can implement location verification for the corresponding prover.During the verification process,the verifier first filters out vehicles which provide unreasonably claimed locations,and then uses the Mean Square Error(MSE)-based cluster approach to separate the consistent vehicles by time slice,and uses the consistent set for its verification.In addition,security analysis and simulation show that TSLV can defend against the collusion attack effectively.
基金The experimental work is supported by the National Natural Science Foundation of China(No.22241304,No.22225303)the National Natural Science Foundation of China(NSFC Center for Chemical Dynamics,No.22288201)+3 种基金the Scientific Instrument Developing Project of the Chinese Academy of Sciences(No.GJJSTD20220001)the Innovation Program for Quantum Science and Technology(No.2021ZD0303304)Xueming Yang also thanks the Guangdong Science and Technology Program(No.2019ZT08L455 and No.2019JC01X091)the Shenzhen Science and Technology Program(No.ZDSYS20200421111001787).
文摘低压配电网拓扑缺乏维护,准确度低,难以支撑各种高级应用的实现。为此,文章提出一种基于Levenshtein距离和时间切面的拓扑识别算法。首先分析配电网拓扑架构,提出使用电流事件特征进行拓扑识别研究。其次描述了电流事件的提取方法,使用改进滑动窗的累积和(cumulative sum control chart,CUSUM)事件检测算法进行电流事件提取。接着描述了采用Levenshtein距离算法和时间切面方法对箱变电流序列和用户表箱采集设备电流序列进行比对,提出使用序列匹配度描述台区户变拓扑的相关程度。最后基于现场台区数据进行计算分析,验证了该方法的可行性和准确性。
文摘以某自动校时电子钟项目为例,在Cotex-M3内核芯片上采用面向对象编程方法分析项目的业务需求,提取业务逻辑的共性内容,并创建应用程序类。借鉴嵌入式操作系统时间片任务调度的方法,得到一种新的嵌入式项目编程解决方案,在无操作系统的微控制单元(Micro Control Unit,MCU)上实现时间片调度应用程序对象,用以提升程序的条理性,增强代码的可移植性和复用性,便于程序的扩展。
