Concept
security
Variants
Security Studies, Securities
Parents
Children
Anomaly DetectionBinary AnalysisCloud ComputingCryptographyFuzzing
35.2K
Publications
1.9M
Citations
62K
Authors
8.4K
Institutions
Formal Security Engineering
1974 - 2001
Across this period, security research converged on formal methods as a unifying discipline, enabling rigorous reasoning about information flow across hardware and software boundaries through lattice-based models, protected architectures, and type- and model-checking techniques. Policy-centric access control matured into scalable reference models, notably Role-Based Access Control (RBAC), driving consistent enforcement and streamlined administration in large information systems. Cryptographic foundations for secure communications advanced with public-key cryptography, while distributed and networked security addressed cross-boundary protection, and security began to be studied as an interdisciplinary construct spanning governance and organizational culture. Historical Significance: A suite of foundational works established core concepts and techniques that persisted across subsequent eras, including foundational tutorials on protecting information within computer systems, lattice-based information flow models, public-key cryptography and digital signatures, universally composable security, and Role-Based Access Control (RBAC) with four reference models that demonstrated scalable policy administration.
• Formal modeling and verification of security properties emerged as a unifying paradigm, integrating lattice-based information flow, architectural protection, and type-/model-checking approaches to reason about information flow across hardware and software boundaries. [1], [3], [16], [19], [11]
• Policy-centric access control frameworks matured into structured reference models (RBAC and general security models), enabling scalable administration and consistent enforcement across large, complex information systems. [2], [8], [15], [17]
• Cryptographic foundations for secure communications advanced with public-key cryptography and digital signatures, enabling key distribution and authentication without shared secrets. [5], [3]
• Security in distributed and networked computing became a focal area, addressing mobile agents, network security, and systemic protection mechanisms across hardware/software boundaries. [17], [15], [9]
• Security as an interdisciplinary construct expanded into strategic governance, with theory-building and normative analyses spanning international relations, policy implications, and security cultures. [4], [6], [7], [13], [14], [10], [18], [20], [12]
Popular Keywords
Economics-Driven Security Engineering
2002 - 2008
Cloud-IoT-Critical Security
2009 - 2015
Blockchain-Integrated IoT Security
2016 - 2017
Decentralized IoT Security Paradigm
2018 - 2024