Modeling and verifying EPC network intrusion system based on timed automata-Reference-Cited by-同舟云学术

Modeling and verifying EPC network intrusion system based on timed automata

Published:2015-12 Issue: Volume:24 Page:61-76
ISSN:1574-1192
Container-title:Pervasive and Mobile Computing
language:en
Short-container-title:Pervasive and Mobile Computing

Author:

Sun Yan,Wu Tin-Yu,Ma Xiaoqiong,Chao Han-Chieh

Publisher

Elsevier BV

Subject

Software,Computer Science Applications,Hardware and Architecture,Computer Networks and Communications,Information Systems

Reference38 articles.

1. Data analysis and simulation of Auto-ID enabled food supply chains based on EPCIS standard;Wang,2011

2. Design and development of a traceability service for EPC-enabled food supply chains;Wang,2012

3. Rfid tracking for urban transportation using epcglobal-based webservices;Jose,2013

4. Managing food traceability information using EPCIS framework;Thakur;J. Food Eng.,2011

5. Regional purchase orders dissemination and shipments aggregation of agricultural products with interworking EPC network and EDI system;Mitsugi,2013

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice;ACM Computing Surveys;2022-12-07

2. Hybrid Network Intrusion Detection System for Smart Environments Based on Internet of Things;The Computer Journal;2019-11-14

3. An intrusion detection algorithm for wireless networks based on ASDL;IEEE/CAA Journal of Automatica Sinica;2018-01

4. Clustering Algorithm Based on Outlier Detection for Anomaly Intrusion Detection;J INTERNET TECHNOL;2016