human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "a program logic for verifying secure routing protocols"
  Abstract: The Internet, as it stands today, is highly vulnerable to attacks. However,#N#little has been done to understand and verify the formal security guarantees of#N#proposed secure inter-domain routing protocols, such as Secure BGP (S-BGP). In#N#this paper, we develop a sound program logic for SANDLog-a declarative#N#specification language for secure routing protocols for verifying properties of#N#these protocols. We prove invariant properties of SANDLog programs that run in#N#an adversarial environment. As a step towards automated verification, we#N#implement a verification condition generator (VCGen) to automatically extract#N#proof obligations. VCGen is integrated into a compiler for SANDLog that can#N#generate executable protocol implementations; and thus, both verification and#N#empirical evaluation of secure routing protocols can be carried out in this#N#unified framework. To validate our framework, we encoded several proposed#N#secure routing mechanisms in SANDLog, verified variants of path authenticity#N#properties by manually discharging the generated verification conditions in#N#Coq, and generated executable code based on SANDLog specification and ran the#N#code in simulation.

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)