Modeling hierarchical mobile agent security protocol using CP nets

Modeling hierarchical mobile agent security protocol using CP nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

書目詳細資料
Main Authors:	Desai, N., Garg, K., Misra, M., Bharadwaj, V.
其他作者:	ELECTRICAL & COMPUTER ENGINEERING
格式:	Conference or Workshop Item
出版:	2014
主題:	Colored petri net Mobile agent Modeling Security
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/70990
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

A Petri Net Model for Process Platform-based Product Configuration
由: ZHANG, Linda L., et al.
出版: (2013)

Colored Petri net modeling and simulation of signal transduction pathways
由: Lee, D.-Y., et al.
出版: (2014)

Petri net-based efficient determination of optimal schedules for transport-dominant single-arm multi-cluster tools
由: Yang, Fajun, et al.
出版: (2018)

An extendible Petri net model for Memex-like applications
由: Guan, S.-U., et al.
出版: (2014)

Self-modifiable color Petri nets for modeling user manipulation and network event handling
由: Guan, S.-U., et al.
出版: (2014)

Petri net analysis facility
由: Placido, Raffy M.
出版: (1990)

Secure Mobile Agents with Controlled Resources
由: ZHANG, Qi, et al.
出版: (2011)

Secure Mobile Agents with Designated Hosts
由: ZHANG, Qi, et al.
出版: (2009)

An FMS scheduling and control decision support system based on generalised stochastic Petri nets
由: Hu, G.H., et al.
出版: (2014)

Complexity of the soundness problem of bounded workflow nets
由: Liu, G.J., et al.
出版: (2013)

CAI on petri nets
由: De Torres, Dustin T., et al.
出版: (1990)

Petri net generator and analyzer
由: Co, Christine Fatima C., et al.
出版: (1997)

Nested coloured timed Petri nets for production configuration of product families
由: ZHANG, Lianfeng, et al.
出版: (2010)

Control problem on timed place/transition nets
由: Hoang, Chi Thanh
出版: (2017)

Applying mobile agents technology to intrusion detection and response
由: CHEW WAI MENG
出版: (2010)

Security and robustness enhanced route structures for mobile agents
由: Wang, Y., et al.
出版: (2014)

Advanced methods for recurrent hierarchical systems modeling. Application to producer-consumer distributed energy production systems
由: Minca, E., et al.
出版: (2013)

Secure agent transport and integrity protection
由: YANG YANG
出版: (2010)

Reachability analysis based model validation in systems biology
由: Yang, Y., et al.
出版: (2014)

Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets
由: Yang, Fajun, et al.
出版: (2020)

A study of securing route structures for mobile agents dispatched in parallel
由: Wang, Y., et al.
出版: (2013)

Complexity of the soundness problem of bounded workflow nets
由: LIU, Guan Jun, et al.
出版: (2012)

Time-varying automated manufacturing systems and their invariant-based control : a petri net approach
由: Chen, Chen, et al.
出版: (2019)

SAFE: Secure agent roaming for e-commerce
由: Guan, S.-U., et al.
出版: (2014)

A Petri Net-based Approach to Reconfigurable Manufacturing Systems Modeling
由: ZHANG, Linda L., et al.
出版: (2009)

A Petri net-based approach to reconfigurable manufacturing systems modeling
由: Geng, Y., et al.
出版: (2011)

Secure agent data integrity shield
由: Guan, S.-U., et al.
出版: (2014)

A dynamic Petri Net model for iterative and interactive distributed multimedia presentation
由: Tan, R., et al.
出版: (2014)

“Shift-Left” Algorithms transforming sequential processes into concurrent ones
由: Hoang, Chi Thanh
出版: (2017)

Application of mobile agents in a web-based real-time monitoring system
由: Ong, S.K., et al.
出版: (2014)

Liveness-enforcing supervision in AMS-Oriented HAMGs : an approach based on new characterization of siphons using Petri nets
由: Chen, Chen, et al.
出版: (2020)

Cyclic scheduling analysis of single-arm cluster tools with wafer residency time constraint and chamber cleaning operations
由: Yang, FaJun, et al.
出版: (2020)

Modeling adaptable multimedia and self-modifying protocol execution
由: Guan, S.-U., et al.
出版: (2014)

A secure messaging protocol for mobile phones
由: Bartolome, Jose Ronello T., et al.
出版: (2007)

Efficient approach to scheduling of transient processes for time-constrained single-arm cluster tools with parallel chambers
由: Yang, Fajun, et al.
出版: (2020)

Implementation of generalized mutual exclusion constraints using critical places and marking estimation
由: Yang, Benyuan, et al.
出版: (2022)

Development of timed Colour Petri net simulation models for air cargo terminal operations
由: Lee, C., et al.
出版: (2014)

A directed graph model for distributed sequential control
由: Lee, S.-M., et al.
出版: (2014)

NETS AND TRANSLATION NETS OF HIGHER DIMENSIONS
由: GANESH SWAMINATHAN
出版: (2015)

DATA-DRIVEN MODELS FOR SCHEDULING OPTIMIZATION UNDER UNCERTAINTY
由: WANG ZHIGUO
出版: (2019)