{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:00Z","timestamp":1750308540893,"version":"3.41.0"},"reference-count":66,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2015,4,24]],"date-time":"2015-04-24T00:00:00Z","timestamp":1429833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CNS-1223834"],"award-info":[{"award-number":["CNS-1223834"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Inf. Syst. Secur."],"published-print":{"date-parts":[[2015,4,24]]},"abstract":"<jats:p>In this article, we propose Gatling, a framework that automatically finds performance attacks caused by insider attackers in large-scale message-passing distributed systems. In performance attacks, malicious nodes deviate from the protocol when sending or creating messages, with the goal of degrading system performance. We identify a representative set of basic malicious message delivery and lying actions and design a greedy search algorithm that finds effective attacks consisting of a subset of these actions. Although lying malicious actions are protocol dependent, requiring the format and meaning of messages, Gatling captures them without needing to modify the target system by using a type-aware compiler. We have implemented and used Gatling on nine systems, a virtual coordinate system, a distributed hash table lookup service and application, two multicast systems and one file sharing application, and three secure systems designed specifically to tolerate insiders, two based on virtual coordinates and one using Outlier Detection, one invariant derived from physical laws, and the last one a Byzantine resilient replication system. We found a total of 48 attacks, with the time needed to find each attack ranging from a few minutes to a few hours.<\/jats:p>","DOI":"10.1145\/2714565","type":"journal-article","created":{"date-parts":[[2015,4,28]],"date-time":"2015-04-28T12:43:57Z","timestamp":1430225037000},"page":"1-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Gatling"],"prefix":"10.1145","volume":"17","author":[{"given":"Hyojeong","family":"Lee","sequence":"first","affiliation":[{"name":"Purdue University, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Seibert","sequence":"additional","affiliation":[{"name":"Purdue University, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dylan","family":"Fistrovic","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Killian","sequence":"additional","affiliation":[{"name":"Purdue University, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Nita-Rotaru","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette IN"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630088"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.91"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_27"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0041-y"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912)","author":"Attariyan Mona","year":"2012","unstructured":"Mona Attariyan , Michael Chow , and Jason Flinn . 2012 . X-ray: Automating root-cause diagnosis of performance anomalies in production software . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912) . 307--320. Mona Attariyan, Michael Chow, and Jason Flinn. 2012. X-ray: Automating root-cause diagnosis of performance anomalies in production software. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912). 307--320."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2011.5958811"},{"key":"e_1_2_1_7_1","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"Blanchet Bruno","unstructured":"Bruno Blanchet . 2002. From secrecy to authenticity in security protocols . In Static Analysis . Lecture Notes in Computer Science , Vol. 2477 . Springer , 342--359. Bruno Blanchet. 2002. From secrecy to authenticity in security protocols. In Static Analysis. Lecture Notes in Computer Science, Vol. 2477. Springer, 342--359."},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908) . 209--224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908). 209--224."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060317"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 3rd Symposium on Operating Systems Design and Implementation (OSDI\u201999)","author":"Castro Miguel","year":"1999","unstructured":"Miguel Castro and Barbara Liskov . 1999 . Practical Byzantine fault tolerance . In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation (OSDI\u201999) . 173--186. Miguel Castro and Barbara Liskov. 1999. Practical Byzantine fault tolerance. In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation (OSDI\u201999). 173--186."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043621.2043627"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 20th USENIX Conference on Security (SEC\u201911)","author":"Cho Chia Yuan","year":"2011","unstructured":"Chia Yuan Cho , Domagoj Babi , Pongsin Poosankam , Kevin Zhijie Chen , Edward XueJun Wu , and Dawn Song . 2011 . MACE: Model-inference-assisted concolic exploration for protocol and vulnerability discovery . In Proceedings of the 20th USENIX Conference on Security (SEC\u201911) . 10. Chia Yuan Cho, Domagoj Babi, Pongsin Poosankam, Kevin Zhijie Chen, Edward XueJun Wu, and Dawn Song. 2011. MACE: Model-inference-assisted concolic exploration for protocol and vulnerability discovery. In Proceedings of the 20th USENIX Conference on Security (SEC\u201911). 10."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247415.1247427"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of P2P Economics. 1--5.","author":"Cohen Bram","year":"2003","unstructured":"Bram Cohen . 2003 . Incentives build robustness in BitTorrent . In Proceedings of P2P Economics. 1--5. Bram Cohen. 2003. Incentives build robustness in BitTorrent. In Proceedings of P2P Economics. 1--5."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015467.1015471"},{"volume-title":"Retrieved","year":"2013","key":"e_1_2_1_16_1","unstructured":"Deter. 2013 . Cyber-Defense Technology Experimental Research Laboratory Testbed . Retrieved March 13, 2015, from http:\/\/www.deter-project.org. Deter. 2013. Cyber-Defense Technology Experimental Research Laboratory Testbed. Retrieved March 13, 2015, from http:\/\/www.deter-project.org."},{"volume-title":"Retrieved","year":"2013","key":"e_1_2_1_17_1","unstructured":"Emulab. 2013 . Emulab\u2014Network Emulation Testbed Home . Retrieved March 13, 2015, from http:\/\/www.emulab.net\/. Emulab. 2013. Emulab\u2014Network Emulation Testbed Home. Retrieved March 13, 2015, from http:\/\/www.emulab.net\/."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation. 21","author":"Geels Dennis","year":"2007","unstructured":"Dennis Geels , Gautam Altekar , Petros Maniatis , Timothy Roscoe , and Ion Stoica . 2007 . Friday: Global comprehension for distributed replay . In Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation. 21 . Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, and Ion Stoica. 2007. Friday: Global comprehension for distributed replay. In Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation. 21."},{"volume-title":"Retrieved","year":"2013","key":"e_1_2_1_19_1","unstructured":"Geni. 2013 . Global Environment for Network Innovation . Retrieved March 13, 2015, from http:\/\/www.geni.net. Geni. 2013. Global Environment for Network Innovation. Retrieved March 13, 2015, from http:\/\/www.geni.net."},{"key":"e_1_2_1_20_1","volume-title":"Retrieved","author":"Gil Thomer M.","year":"2013","unstructured":"Thomer M. Gil , Frans Kaashoek , Jinyang Li , Robert Morris , and Jeremy Stribling . 2013 . p2psim: A Simulator for Peer-to-Peer Protocols . Retrieved March 13, 2015, from http:\/\/pdos.csail.mit.edu\/p2psim\/. Thomer M. Gil, Frans Kaashoek, Jinyang Li, Robert Morris, and Jeremy Stribling. 2013. p2psim: A Simulator for Peer-to-Peer Protocols. Retrieved March 13, 2015, from http:\/\/pdos.csail.mit.edu\/p2psim\/."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 16th Annual Network and Distributed System Security Symposium (NDSS\u201908)","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid , Michael Y. Levin , and David Molnar . 2008 . Automated whitebox fuzz testing . In Proceedings of the 16th Annual Network and Distributed System Security Symposium (NDSS\u201908) . Patrice Godefroid, Michael Y. Levin, and David Molnar. 2008. Automated whitebox fuzz testing. In Proceedings of the 16th Annual Network and Distributed System Security Symposium (NDSS\u201908)."},{"volume-title":"Retrieved","year":"2013","key":"e_1_2_1_23_1","unstructured":"GTNet. 2013 . Georgia Tech Network Simulator . Retrieved March 13, 2015, from http:\/\/www.ece.gatech.edu\/research\/labs\/MANIACS\/GTNetS\/. GTNet. 2013. Georgia Tech Network Simulator. Retrieved March 13, 2015, from http:\/\/www.ece.gatech.edu\/research\/labs\/MANIACS\/GTNetS\/."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/637201.637203"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201911)","author":"Gunawi Haryadi S.","year":"2011","unstructured":"Haryadi S. Gunawi , Thanh Do , Pallavi Joshi , Peter Alvaro , Joseph M. Hellerstein , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , Koushik Sen , and Dhruba Borthakur . 2011 . FATE and DESTINI: A framework for cloud recovery testing . In Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201911) . 238--252. Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, and Dhruba Borthakur. 2011. FATE and DESTINI: A framework for cloud recovery testing. In Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201911). 238--252."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250755"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 4th ISENIX Conference on Networked Systems Design and Implementation (NSDI\u201907)","author":"Killian Charles","year":"2007","unstructured":"Charles Killian , James W. Anderson , Ranjit Jhala , and Amin Vahdat . 2007 b. Life, death, and the critical transition: Detecting liveness bugs in systems code . In Proceedings of the 4th ISENIX Conference on Networked Systems Design and Implementation (NSDI\u201907) . 18. Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat. 2007b. Life, death, and the critical transition: Detecting liveness bugs in systems code. In Proceedings of the 4th ISENIX Conference on Networked Systems Design and Implementation (NSDI\u201907). 18."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247374"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945473"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251460.1251479"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328671.1328674"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018440"},{"volume-title":"Proceedings of the USENIX Annual Technical Conference (ATC\u201907)","author":"Krohn Maxwell","key":"e_1_2_1_34_1","unstructured":"Maxwell Krohn , Eddie Kohler , and M. Frans Kaashoek . 2007. Events can make sense . In Proceedings of the USENIX Annual Technical Conference (ATC\u201907) . Article No. 7. Maxwell Krohn, Eddie Kohler, and M. Frans Kaashoek. 2007. Events can make sense. In Proceedings of the USENIX Annual Technical Conference (ATC\u201907). Article No. 7."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254088"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/579617"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1973430.1973452"},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 19th Annual Network and Distributed System Security Symposium (NDSS\u201912)","author":"Lee Hyojeong","year":"2012","unstructured":"Hyojeong Lee , Jeff Seibert , Charles Edwin Killian , and Cristina Nita-Rotaru . 2012 . Gatling: Automatic attack discovery in large-scale distributed systems .. In Proceedings of the 19th Annual Network and Distributed System Security Symposium (NDSS\u201912) . Hyojeong Lee, Jeff Seibert, Charles Edwin Killian, and Cristina Nita-Rotaru. 2012. Gatling: Automatic attack discovery in large-scale distributed systems.. In Proceedings of the 19th Annual Network and Distributed System Security Symposium (NDSS\u201912)."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation. 185--198","author":"Leonini Lorenzo","year":"2009","unstructured":"Lorenzo Leonini , \u00c9tienne Rivi\u00e8re , and Pascal Felber . 2009 . SPLAY: Distributed systems evaluation made simple (or how to turn ideas into live systems in a breeze) . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation. 185--198 . Lorenzo Leonini, \u00c9tienne Rivi\u00e8re, and Pascal Felber. 2009. SPLAY: Distributed systems evaluation made simple (or how to turn ideas into live systems in a breeze). In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation. 185--198."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 10th Conference on Hot Topics in Operating Systems (HOTOS\u201905)","author":"Lin Shiding","year":"2005","unstructured":"Shiding Lin , Aimin Pan , Zheng Zhang , Rui Guo , and Zhenyu Guo . 2005 . WiDS: An integrated toolkit for distributed systems development . In Proceedings of the 10th Conference on Hot Topics in Operating Systems (HOTOS\u201905) . 17. Shiding Lin, Aimin Pan, Zheng Zhang, Rui Guo, and Zhenyu Guo. 2005. WiDS: An integrated toolkit for distributed systems development. In Proceedings of the 10th Conference on Hot Topics in Operating Systems (HOTOS\u201905). 17."},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the IEEE International Conference on Dependable Systems and Networks with FTCS and DCC (DSN\u201908)","author":"Lin Zhiqiang","year":"2008","unstructured":"Zhiqiang Lin , Xiangyu Zhang , and Dongyan Xu . 2008 . Convicting exploitable software vulnerabilities: An efficient input provenance based approach . In Proceedings of the IEEE International Conference on Dependable Systems and Networks with FTCS and DCC (DSN\u201908) . 247--256. Zhiqiang Lin, Xiangyu Zhang, and Dongyan Xu. 2008. Convicting exploitable software vulnerabilities: An efficient input provenance based approach. In Proceedings of the IEEE International Conference on Dependable Systems and Networks with FTCS and DCC (DSN\u201908). 247--256."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095818"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation. 19","author":"Lui Xuezheng","year":"2007","unstructured":"Xuezheng Lui , Wei Lin , Aimin Pan , and Zheng Zhang . 2007 . WiDS checker: Combating bugs in distributed systems . In Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation. 19 . Xuezheng Lui, Wei Lin, Aimin Pan, and Zheng Zhang. 2007. WiDS checker: Combating bugs in distributed systems. In Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation. 19."},{"key":"e_1_2_1_44_1","unstructured":"Nancy Lynch. 1996. Distributed Algorithms. Morgan Kaufmann.   Nancy Lynch. 1996. Distributed Algorithms. Morgan Kaufmann."},{"volume-title":"Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI\u201902)","author":"Musuvathi Madanlal","key":"e_1_2_1_45_1","unstructured":"Madanlal Musuvathi , David Y. W. Park , Andy Chou , Dawson R. Engler , and David L. Dill . 2002. CMC: A pragmatic approach to model checking real code . In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI\u201902) . 75--88. Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, and David L. Dill. 2002. CMC: A pragmatic approach to model checking real code. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI\u201902). 75--88."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2228298.2228334"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium (NDSS\u201905)","author":"Newsome James","year":"2005","unstructured":"James Newsome and Dawn Song . 2005 . Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software . In Proceedings of the Network and Distributed System Security Symposium (NDSS\u201905) . James Newsome and Dawn Song. 2005. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Proceedings of the Network and Distributed System Security Symposium (NDSS\u201905)."},{"volume-title":"Retrieved","year":"2013","key":"e_1_2_1_49_1","unstructured":"NS3. 2013 . Network Simulator 3 . Retrieved March 13, 2015, from http:\/\/www.nsnam.org\/. NS3. 2013. Network Simulator 3. Retrieved March 13, 2015, from http:\/\/www.nsnam.org\/."},{"volume-title":"Retrieved","year":"2002","key":"e_1_2_1_50_1","unstructured":"PlanetLab. 2002 . PlanetLab . Retrieved March 13, 2015, from http:\/\/www.planet-lab.org. PlanetLab. 2002. PlanetLab. Retrieved March 13, 2015, from http:\/\/www.planet-lab.org."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383072"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247415.1247425"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/977400.977973"},{"volume-title":"Retrieved","year":"2013","key":"e_1_2_1_54_1","unstructured":"Ron. 2013 . Resilient Overlay Networks . Retrieved March 13, 2015, from http:\/\/nms.csail.mit.edu\/ron\/. Ron. 2013. Resilient Overlay Networks. Retrieved March 13, 2015, from http:\/\/nms.csail.mit.edu\/ron\/."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/646591.697650"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/648089.747486"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2012.22"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the 7th ACM Workshop on Hot Topics in Networks (HotNets\u201908)","author":"Stanojevic Milan","year":"2008","unstructured":"Milan Stanojevic , Ratul Mahajan , Todd Millstein , and Madanlal Musuvathi . 2008 . Can you fool me&quest; Towards automatically checking protocol gullibility . In Proceedings of the 7th ACM Workshop on Hot Topics in Networks (HotNets\u201908) . Milan Stanojevic, Ratul Mahajan, Todd Millstein, and Madanlal Musuvathi. 2008. Can you fool me&quest; Towards automatically checking protocol gullibility. In Proceedings of the 7th ACM Workshop on Hot Topics in Networks (HotNets\u201908)."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383071"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060315"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.912394"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958225"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502057"},{"key":"e_1_2_1_64_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201909)","author":"Yabandeh Maysam","year":"2009","unstructured":"Maysam Yabandeh , Nikola Knezevic , Dejan Kostic , and Viktor Kuncak . 2009 . CrystalBall: Predicting and preventing inconsistencies in deployed distributed systems . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201909) . 229--244. Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, and Viktor Kuncak. 2009. CrystalBall: Predicting and preventing inconsistencies in deployed distributed systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201909). 229--244."},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201909)","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang , Tisheng Chen , Ming Wu , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Mao Yang , Fan Long , Lintao Zhang , and Lidong Zhou . 2009 . MODIST: Transparent model checking of unmodified distributed systems . In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201909) . 213--228. Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. 2009. MODIST: Transparent model checking of unmodified distributed systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201909). 213--228."},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315273"}],"container-title":["ACM Transactions on Information and System Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2714565","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2714565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:56:14Z","timestamp":1750272974000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2714565"}},"subtitle":["Automatic Performance Attack Discovery in Large-Scale Distributed Systems"],"short-title":[],"issued":{"date-parts":[[2015,4,24]]},"references-count":66,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,4,24]]}},"alternative-id":["10.1145\/2714565"],"URL":"https:\/\/doi.org\/10.1145\/2714565","relation":{},"ISSN":["1094-9224","1557-7406"],"issn-type":[{"type":"print","value":"1094-9224"},{"type":"electronic","value":"1557-7406"}],"subject":[],"published":{"date-parts":[[2015,4,24]]},"assertion":[{"value":"2013-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-04-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}