human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "tool support of formal methods for privacy by design"):
  Abstract: Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been investigated, for which application domains they are suited, and whether they are implemented and available as tools. Using the techniques of search-based literature review and snowballing this paper answers those questions for a selected set of research papers.

Includes members:
  Member "constructing independently verifiable privacy compliant type systems for message passing between black box components":
    also connected through other hyperedges:
      (none)
  Member "monitoring data minimisation":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "gray box monitoring of hyperproperties")
  Member "model checking social network models":
    also connected through other hyperedges:
      (none)
  Member "privacy by design on the formal design and conformance check of personal data protection policies and architectures":
    also connected through other hyperedges:
      (none)
  Member "pricl creating a precedent a framework for reasoning about privacy case law":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "formalizing privacy laws for license generation and data repository decision automation")
  Member "privacy by design on the conformance between protocols and architectures":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "biometric systems private by design reasoning about privacy properties of biometric system architectures")
  Member "privacy architectures reasoning about data minimisation and integrity":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "biometric systems private by design reasoning about privacy properties of biometric system architectures")

Question: Please tell me which class the source paper 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.CR(Cryptography and Security)