{"type":"ScholarlyArticle","title":"Solving Patrolling Problems in the Internet Environment","authors":[{"name":"Tomas Brazdil","slug":"tomas-brazdil","given":"Tomas","family":"Brazdil","affiliation":"Faculty of Informatics , Masaryk University , Brno , Czech Republic"},{"name":"Antonin Kucera","slug":"antonin-kucera","given":"Antonin","family":"Kucera","affiliation":"Faculty of Informatics , Masaryk University , Brno , Czech Republic"},{"name":"Vojtech Rehak","slug":"vojtech-rehak","given":"Vojtech","family":"Rehak","affiliation":"Faculty of Informatics , Masaryk University , Brno , Czech Republic"}],"abstract":"We propose an algorithm for constructing efficient patrolling strategies in the Internet environment, where the protected targets are nodes connected to the network and the patrollers are software agents capable of detecting/preventing undesirable activities on the nodes. The algorithm is based on a novel compositional principle designed for a special class of strategies, and it can quickly construct (sub)optimal solutions even if the number of targets reaches hundreds of millions.","doi":"10.24963/ijcai.2018/17","url":"https://ijcai.org/proceedings/2018/17","pdf":"https://ijcai.org/proceedings/2018/0017.pdf","markdown":"https://ijcai.org/proceedings/2018/17.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/17","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Agent-based and Multi-agent Systems","track":"Main track","number":17,"pages":{"first":121,"last":127},"keywords":["Planning and Scheduling: Planning and Scheduling","Planning and Scheduling: Distributed;Multi-agent Planning","Agent-based and Multi-agent Systems: Multi-agent Planning","Agent-based and Multi-agent Systems: Algorithmic Game Theory","Agent-based and Multi-agent Systems: Resource Allocation"],"videos":[],"references":[{"position":1,"raw":"[Abaffy et al., 2014] M. Abaffy, T. Brázdil, V. Řehák, B. Bošanský, A. Kučera, and J. Krčál. Solving adversarial patrolling games with bounded error. In Proceedings of AAMAS 2014, pages 1617-1618, 2014.","title":"Solving adversarial patrolling games with bounded error","authors":"M Abaffy, T Brázdil, V Řehák, B Bošanský, A Kučera, J Krčál","year":"2014","venue":"Proceedings of AAMAS 2014","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Agmon et al., 2008a] N. Agmon, S. Kraus, and G. Kaminka. Multi-robot perimeter patrol in adver- sarial settings. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA2008), pages 2339-2345. IEEE, 2008.","title":"Multi-robot perimeter patrol in adversarial settings","authors":"Agmon","year":"2008","venue":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA2008)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Agmon et al., 2008b] N. Agmon, V. Sadov, G. Kaminka, and S. Kraus. The impact of adversarial knowledge on adversarial planning in perimeter patrol. In Proceedings of AAMAS 2008, pages 55-62, 2008.","title":"The impact of adversarial knowledge on adversarial planning in perimeter patrol","authors":"Agmon","year":"2008","venue":"Proceedings of AAMAS 2008","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Almeida et al., 2004] A. Almeida, G. Ramalho, H. Santana, P. Tedesco, T. Menezes, V. Corruble, and Y. Chevaleyre. Recent advances on multi-agent patrolling. In Advances in Artificial Intelligence -SBIA 2004, volume 3171 of LNCS, pages 474-483. Springer, 2004.","title":"Recent advances on multi-agent patrolling","authors":"A Almeida, G Ramalho, H Santana, P Tedesco, T Menezes, V Corruble, Y Chevaleyre","year":"2004","venue":"Advances in Artificial Intelligence -SBIA 2004","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Basilico et al., 2009a] N. Basilico, N. Gatti, and F. Amigoni. Leader-follower strategies for robotic patrolling in environments with arbitrary topologies. In AAMAS, pages 57-64, 2009.","title":"Leader-follower strategies for robotic patrolling in environments with arbitrary topologies","authors":"Basilico","year":"2009","venue":"AAMAS","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Basilico et al., 2009b] N. Basilico, N. Gatti, T. Rossi, S. Ceppi, and F. Amigoni. Extending algorithms for mo- bile robot patrolling in the presence of adversaries to more realistic settings. In WI-IAT, pages 557-564, 2009.","title":"Extending algorithms for mobile robot patrolling in the presence of adversaries to more realistic settings","authors":"Basilico","year":"2009","venue":"WI-IAT","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Basilico et al., 2010] N. Basilico, N. Gatti, and F. Villa. Asynchronous Multi-Robot Patrolling against Intrusion in Arbitrary Topologies. In AAAI, 2010.","title":"Asynchronous Multi-Robot Patrolling against Intrusion in Arbitrary Topologies","authors":"N Basilico, N Gatti, F Villa","year":"2010","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Basilico et al., 2012] N. Basilico, N. Gatti, and F. Amigoni. Patrolling security games: Definitions and algorithms for solving large instances with single patroller and single in- truder. AI, 184-185:78-123, 2012.","title":"Patrolling security games: Definitions and algorithms for solving large instances with single patroller and single intruder","authors":"N Basilico, N Gatti, F Amigoni","year":"2012","venue":"AI","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Basilico et al., 2016a] N. Basilico, A. Lanzi, and M. Monga. A security game model for remote soft- ware protection. In Proceedings of ARES 2016, pages 437-443, 2016.","title":"A security game model for remote software protection","authors":"Basilico","year":"2016","venue":"Proceedings of ARES 2016","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Basilico et al., 2016b] N. Basilico, G. De Nittis, and N. Gatti. A security game combining patrolling and alarm- triggered responses under spatial and detection uncertain- ties. In Proceedings of AAAI 2016, pages 404-410, 2016.","title":"A security game combining patrolling and alarmtriggered responses under spatial and detection uncertainties","authors":"Basilico","year":"2016","venue":"Proceedings of AAAI 2016","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Bosansky et al., 2011] B. Bosansky, V. Lisy, M. Jakob, and M. Pechoucek. Computing Time-Dependent Policies for Patrolling Games with Mobile Targets. In AAMAS, 2011.","title":"Computing Time-Dependent Policies for Patrolling Games with Mobile Targets","authors":"B Bosansky, V Lisy, M Jakob, M Pechoucek","year":"2011","venue":"AAMAS","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Bosansky et al., 2012] B. Bosansky, O. Vanek, and M. Pe- choucek. Strategy Representation Analysis for Patrolling Games. In AAAI Spring Symposium, 2012.","title":"Strategy Representation Analysis for Patrolling Games","authors":"B Bosansky, O Vanek, M Pechoucek","year":"2012","venue":"AAAI Spring Symposium","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Brázdil et al., 2018] T. Brázdil, A. Kučera, and V. Řehák. Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment. arXiv:1805.02861, 2018.","title":"Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment","authors":"T Brázdil, A Kučera, V Řehák","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Ceccato and Tonella, 2011] M. Ceccato and P. Tonella. Codebender: Remote software protection using orthogo- nal replacement. IEEE Software, 28(2):28-34, 2011.","title":"Codebender: Remote software protection using orthogonal replacement","authors":"M Ceccato, P Tonella","year":"2011","venue":"IEEE Software","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Collberg et al., 2012] C. Collberg, S. Martin, J. Myers, and J. Nagra. Distributed application tamper detection via con- tinuous software updates. In Proceedings of the 28th An- nual Computer Security Applications Conference, pages 319-328. ACM Press, 2012.","title":"Distributed application tamper detection via continuous software updates","authors":"C Collberg, S Martin, J Myers, J Nagra","year":"2012","venue":"Proceedings of the 28th Annual Computer Security Applications Conference","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Cotton, 2015] B. Cotton. Enhancing a city's ability to plan, protect and manage with intelligent video analytics. Tech- nical report, A Frost & Sullivan White Paper, 2015.","title":"Enhancing a city's ability to plan, protect and manage with intelligent video analytics","authors":"B Cotton","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[de Cote et al., 2013] E. Munoz de Cote, R. Stranders, N. Basilico, N. Gatti, and N. Jennings. Introducing alarms in adversarial patrolling games: extended abstract. In AA- MAS, pages 1275-1276, 2013.","title":"Introducing alarms in adversarial patrolling games: extended abstract","authors":"E Munoz De Cote, R Stranders, N Basilico, N Gatti, N Jennings","year":"2013","venue":"AA-MAS","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Fang et al., 2013] F. Fang, A.X. Jiang, and M. Tambe. Op- timal Patrol Strategy for Protecting Moving Targets with Multiple Mobile Resources. In AAMAS, 2013.","title":"Optimal Patrol Strategy for Protecting Moving Targets with Multiple Mobile Resources","authors":"F Fang, A X Jiang, M Tambe","year":"2013","venue":"AAMAS","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Jain et al., 2010] M. Jain, E. Karde, C. Kiekintveld, F. Ordóñez, and M. Tambe. Optimal defender allocation for massive security games: A branch and price approach. In Workshop on Optimization in Multi-Agent Systems at AAMAS, 2010.","title":"Optimal defender allocation for massive security games: A branch and price approach","authors":"M Jain, E Karde, C Kiekintveld, F Ordóñez, M Tambe","year":"2010","venue":"Workshop on Optimization in Multi-Agent Systems at AAMAS","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Kempe et al., 2018] D. Kempe, L.J. Schulman, and O. Tamuz. Quasi-regular sequences and optimal sched- ulers for security games. In Proceedings of SODA 2018. SIAM, 2018.","title":"Quasi-regular sequences and optimal schedulers for security games","authors":"D Kempe, L J Schulman, O Tamuz","year":"2018","venue":"Proceedings of SODA 2018","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Kiekintveld et al., 2009] C. Kiekintveld, M. Jain, J. Tsai, J. Pita, F. Ordóñez, and M. Tambe. Computing opti- mal randomized resource allocations for massive security games. In Proceedings of AAMAS 2009, pages 689-696, 2009.","title":"Computing optimal randomized resource allocations for massive security games","authors":"C Kiekintveld, M Jain, J Tsai, J Pita, F Ordóñez, M Tambe","year":"2009","venue":"Proceedings of AAMAS 2009","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Kučera and Lamser, 2016] A. Kučera and T. Lamser. Reg- ular strategies and strategy improvement: Efficient tools for solving large patrolling problems. In Proceedings of AAMAS 2016, pages 1171-1179, 2016.","title":"Regular strategies and strategy improvement: Efficient tools for solving large patrolling problems","authors":"A Kučera, T Lamser","year":"2016","venue":"Proceedings of AAMAS 2016","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Pita et al., 2008] J. Pita, M. Jain, J. Marecki, F. Ordónez, C. Portway, M. Tambe, C. Western, P. Paruchuri, and S. Kraus. Deployed ARMOR protection: The application of a game theoretic model for security at the Los Ange- les Int. Airport. In Proceedings of AAMAS 2008, pages 125-132, 2008.","title":"Deployed ARMOR protection: The application of a game theoretic model for security at the Los Angeles Int. Airport","authors":"J Pita, M Jain, J Marecki, F Ordónez, C Portway, M Tambe, C Western, P Paruchuri, S Kraus","year":"2008","venue":"Proceedings of AAMAS 2008","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Redmon et al., 2016] J. Redmon, S.K. Divvala, R.B. Gir- shick, and A. Farhadi. You only look once: Unified, real- time object detection. In 2016 IEEE Conference on Com- puter Vision and Pattern Recognition, CVPR 2016, pages 779-788. IEEE, 2016.","title":"You only look once: Unified, realtime object detection","authors":"J Redmon, S K Divvala, R B Girshick, A Farhadi","year":"2016","venue":"IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Tsai et al., 2009] J. Tsai, S. Rathi, C. Kiekintveld, F. Ordóñez, and M. Tambe. IRIS-a tool for strategic security allocation in transportation networks categories and subject descriptors. In Proceedings of AAMAS 2009, pages 37-44, 2009.","title":"IRIS-a tool for strategic security allocation in transportation networks categories and subject descriptors","authors":"J Tsai, S Rathi, C Kiekintveld, F Ordóñez, M Tambe","year":"2009","venue":"Proceedings of AAMAS 2009","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Yin et al., 2010] Z. Yin, D. Korzhyk, C. Kiekintveld, V. Conitzer, and M. Tambe. Stackelberg vs. Nash in se- curity games: Interchangeability, equivalence, and unique- ness. In AAMAS, pages 1139-1146, 2010.","title":"Stackelberg vs. Nash in security games: Interchangeability, equivalence, and uniqueness","authors":"Z Yin, D Korzhyk, C Kiekintveld, V Conitzer, M Tambe","year":"2010","venue":"AAMAS","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}