共 50 条
- [22] Security in agent-based automation systems [J]. ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 768 - 771
- [25] Reflex autonomicity in an agent-based security system: The autonomic access control system [J]. FOURTH IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS, PROCEEDINGS, 2007, : 68 - +
- [26] Intelligent Home Security System Using Agent-based IoT Devices [J]. 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 313 - 314
- [27] Verification of Information Flow in Agent-Based Systems [J]. E-TECHNOLOGIES-INNOVATION IN AN OPEN WORLD, 2009, 26 : 252 - 266
- [28] Agent-based model of computer network security system: A case study [J]. INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS, 2001, 2052 : 39 - 50
- [29] Agent-based Model Checking Verification Framework [J]. 2012 IEEE CONFERENCE ON OPEN SYSTEMS (ICOS 2012), 2012, : 233 - 236
- [30] Specification and Verification of an Agent-Based Auction Service [J]. INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 239 - +