Buchumschlag

Security Science (SecSci), Basic Concepts and Mathematical Foundations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pavlovic, Dusko, Seidel, Peter-Michael
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Computers and Society Information Theory Social and Information Networks Logic 03-01, 03C65, 68M25 D.4.6; F.4.1; F.4.3; G.0; H.1; K.4.2; K.6.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic in Mathematics and Computer Science
von: Zach, Richard
Veröffentlicht: (2024)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
von: Therrien, Logan, et al.
Veröffentlicht: (2026)

A logical framework for data-driven reasoning
von: Baldi, Paolo, et al.
Veröffentlicht: (2024)

Structural focalization
von: Simmons, Robert J.
Veröffentlicht: (2011)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

How Does Environmental Information Disclosure Affect Corporate Environmental Performance? Evidence from Chinese A-Share Listed Companies
von: Lin, Zehao
Veröffentlicht: (2025)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

Model Checking of vGOAL
von: Yang, Yi, et al.
Veröffentlicht: (2024)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Belief in Simplicial Complexes
von: Sink, Philip, et al.
Veröffentlicht: (2025)

A Note on Proper Relational Structures
von: Bjorndahl, Adam, et al.
Veröffentlicht: (2025)

Glivenko's theorems from an ecumenical perspective
von: Pereira, Luiz Carlos, et al.
Veröffentlicht: (2026)

Conjunctive categorial grammars and Lambek grammars with additives
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Stratifiable formulae are not context-free
von: Ryan-Smith, Calliope
Veröffentlicht: (2023)

Proof Compression via Subatomic Logic and Guarded Substitutions
von: Barrett, Victoria, et al.
Veröffentlicht: (2025)

"We are currently clean on OPSEC": Why JD Can't Encrypt
von: Chiodo, Maurice, et al.
Veröffentlicht: (2026)

KYA: A Framework-Agnostic Trust Layer for Autonomous Systems with Verifiable Provenance and Hierarchical Policy Composition
von: Quadri, Kolawole
Veröffentlicht: (2026)

Privacy in the Age of AI: A Taxonomy of Data Risks
von: Billiris, Grace, et al.
Veröffentlicht: (2025)

Minoritised Ethnic People's Security and Privacy Concerns and Responses towards Essential Online Services
von: Quyoum, Aunam, et al.
Veröffentlicht: (2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Correlated-Sequence Differential Privacy
von: Luo, Yifan, et al.
Veröffentlicht: (2025)

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
von: Fuchs, Clint, et al.
Veröffentlicht: (2025)

The Hamiltonian Syllogistic
von: Pratt-Hartmann, Ian
Veröffentlicht: (2010)

A Tame Generic Structure with Non-Algebraic Geometric Closure
von: Jalili, Somaye, et al.
Veröffentlicht: (2020)

Support + Belief = Decision Trust
von: Aldini, Alessandro, et al.
Veröffentlicht: (2024)

The Signalgate Case is Waiving a Red Flag to All Organizational and Behavioral Cybersecurity Leaders, Practitioners, and Researchers: Are We Receiving the Signal Amidst the Noise?
von: Lowry, Paul Benjamin, et al.
Veröffentlicht: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

Towards Socio-Technical Topology-Aware Adaptive Threat Detection in Software Supply Chains
von: Welsh, Thomas, et al.
Veröffentlicht: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
von: Shamkanov, Daniyar
Veröffentlicht: (2021)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
von: Liu, Zhangchi
Veröffentlicht: (2025)

On the computational properties of ambivalent sets and functions
von: Normann, Dag, et al.
Veröffentlicht: (2026)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Towards Zero Trust Architecture: A Pilot Study on Information Systems Security Readiness amongst Small and Medium Enterprises
von: Deng, Yu, et al.
Veröffentlicht: (2026)

How Knowledge Workers Think Generative AI Will (Not) Transform Their Industries
von: Woodruff, Allison, et al.
Veröffentlicht: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)