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: "attacker control and impact for confidentiality and integrity"
  Abstract: Language-based information flow methods offer a principled way to enforce#N#strong security properties, but enforcing noninterference is too inflexible for#N#realistic applications. Security-typed languages have therefore introduced#N#declassification mechanisms for relaxing confidentiality policies, and#N#endorsement mechanisms for relaxing integrity policies. However, a continuing#N#challenge has been to define what security is guaranteed when such mechanisms#N#are used. This paper presents a new semantic framework for expressing security#N#policies for declassification and endorsement in a language-based setting. The#N#key insight is that security can be characterized in terms of the influence#N#that declassification and endorsement allow to the attacker. The new framework#N#introduces two notions of security to describe the influence of the attacker.#N#Attacker control defines what the attacker is able to learn from observable#N#effects of this code; attacker impact captures the attacker's influence on#N#trusted locations. This approach yields novel security conditions for checked#N#endorsements and robust integrity. The framework is flexible enough to recover#N#and to improve on the previously introduced notions of robustness and qualified#N#robustness. Further, the new security conditions can be soundly enforced by a#N#security type system. The applicability and enforcement of the new policies is#N#illustrated through various examples, including data sanitization and#N#authentication.

Connected through hyperedge HE-1 (induced by source paper "first order logic for flow limited authorization"):
  with members:
    - "belief semantics of authorization logic"

Connected through hyperedge HE-2 (induced by source paper "a dependently typed library for static information flow control in idris"):
  with members:
    - "types for information flow control labeling granularity and semantic models"

Connected through hyperedge HE-3 (induced by source paper "calculational design of information flow monitors extended version"):
  with members:
    - "galois transformers and modular abstract interpreters reusable metatheory for program analysis"
    - "generalizing permissive upgrade in dynamic information flow analysis"
    - "a survey on product operators in abstract interpretation"
    - "epistemic temporal logic for information flow security"

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.PL(Programming Languages)