Declarative Infrastructure Configuration Synthesis and Debugging-Reference-Cited by-同舟云学术

Declarative Infrastructure Configuration Synthesis and Debugging

Published:2008-09 Issue:3 Volume:16 Page:235-258
ISSN:1064-7570
Container-title:Journal of Network and Systems Management
language:en
Short-container-title:J Netw Syst Manage

Author:

Narain Sanjai,Levin Gary,Malik Sharad,Kaul Vikram

Publisher

Springer Science and Business Media LLC

Subject

Strategy and Management,Computer Networks and Communications,Hardware and Architecture,Information Systems

Link

http://link.springer.com/content/pdf/10.1007/s10922-008-9108-y.pdf

Reference20 articles.

1. Security and Business Continuity Solutions from British Telecom: http://www.btglobalservices.com/business/global/en/products/docs/28154_219475secur_bro_single.pdf

2. Lampson, B: Computer security in real world. Annual Computer Security Applications Conference, 2000. http://research.microsoft.com/Lampson/64-SecurityInRealWorld/Acrobat.pdf

3. Oppenheimer, D., Ganapathy, A., Patterson, D.: Why do internet services fail and what can be done about it? 4th USENIX Symposium on Internet Technologies and Systems, 2003. http://roc.cs.berkeley.edu/papers/usits03.pdf

4. Schwartz, J.: Who Needs Hackers? New York Times, September 12, 2007. http://www.nytimes.com/2007/09/12/technology/techspecial/12threat.html

5. Kodkod: http://web.mit.edu/emina/www/kodkod.html

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

1. INCS: Intent-driven network-wide configuration synthesis based on deep reinforcement learning;Computer Networks;2024-09

2. NetRen: Service Migration-Driven Network Renascence with Synthesizing Updated Configuration;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

3. FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks;IEEE Transactions on Dependable and Secure Computing;2022

4. Declarative Power Sequencing;ACM Transactions on Embedded Computing Systems;2021-10-31

5. Solver-Aided Multi-Party Configuration;Proceedings of the 19th ACM Workshop on Hot Topics in Networks;2020-11-04