Engineering-blogg

Teknisk publikasjonsarkiv for distribuert infrastrukturengineering

Artikler publiseres for programteam, teknisk ledelse og arkitekturgrupper som krever rigor innen kryptografi, distribuerte systemer og adversariell resiliens.

Arkiv

Publiserte artikler

Søk

Utforsk kategorier (18)

Backend Blockchain Cloud Control Plane Failure DevSecOps Pipeline Compromise DevSecOps Under Regulatory Pressure Distribuerte systemer Distributed Systems Distributed Systems Failure Distributed Systems Survivability Fintech-kryptografi Identity / Key Management Failure Misjonskritisk DevSecOps Post-kvantum infrastruktur Post-Quantum Infrastructure Migration PQC Resiliensengineering Sikkerhetsarkitektur Sikre IIoT-systemer

Utforsk tagger (57)

mathematics distributed-systems cryptography research security pki migration security-architecture threat-modeling backend key-management fintech adversarial-systems assurance auditability byzantine consensus critical-infrastructure custody devsecops distributed-architecture failure-containment formal-methods identity iiot incident-recovery incident-response latency-modeling networking observability post-quantum release-engineering resilience supply-chain incident-analysis infrastructure-failure adversarial-infrastructure cryptographic-governance enterprise-architecture identity-/-key-management-failure blockchain distributed-systems-survivability identity-security pqc backpressure cloud-control-plane cloud-control-plane-failure devsecops-pipeline-compromise devsecops-under-regulatory-pressure distributed-systems-failure edge-compute identity-boundary mpc post-quantum-infrastructure-migration rollout-governance session-security threshold-signatures

67 artikler funnet. Viser 37-48.

27. juli 2024 · Misjonskritisk DevSecOps

Assurance for misjonskritisk DevSecOps: Invariatorientert spesifikasjon og verifikasjon

En formell engineeringanalyse av misjonskritisk DevSecOps med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.

10 minLes artikkel

16. juni 2024 · Misjonskritisk DevSecOps

Assurance for misjonskritisk DevSecOps: Latenstid-tilgjengelighet avveininger under adversariell last

En formell engineeringanalyse av misjonskritisk DevSecOps med vekt på latenstid-tilgjengelighet avveininger under adversariell last og adversarielle operative begrensninger.

9 minLes artikkel

04. mai 2024 · Misjonskritisk DevSecOps

Assurance for misjonskritisk DevSecOps: Feilinneslutning og grenser for blast radius

En formell engineeringanalyse av misjonskritisk DevSecOps med vekt på feilinneslutning og grenser for blast radius og adversarielle operative begrensninger.

8 minLes artikkel

18. apr. 2024 · Sikre IIoT-systemer

Sikker IIoT-transport og segmenteringskontroller: Hendelsesrekonstituering under delvis feil

En formell engineeringanalyse av sikre IIoT-systemer med vekt på hendelsesrekonstituering under delvis feil og adversarielle operative begrensninger.

14 minLes artikkel

06. mars 2024 · Sikre IIoT-systemer

Sikker IIoT-transport og segmenteringskontroller: Revisjonsspor og verifiserbare operasjoner

En formell engineeringanalyse av sikre IIoT-systemer med vekt på revisjonsspor og verifiserbare operasjoner og adversarielle operative begrensninger.

13 minLes artikkel

21. feb. 2024 · Sikre IIoT-systemer

Sikker IIoT-transport og segmenteringskontroller: Migreringssekvensering for systemer med høy assurance

En formell engineeringanalyse av sikre IIoT-systemer med vekt på migreringssekvensering for systemer med høy assurance og adversarielle operative begrensninger.

12 minLes artikkel

09. jan. 2024 · Sikre IIoT-systemer

Sikker IIoT-transport og segmenteringskontroller: Forutsetninger for bysantinsk kompromittering og gjenopprettingsbaner

En formell engineeringanalyse av sikre IIoT-systemer med vekt på forutsetninger for bysantinsk kompromittering og gjenopprettingsbaner og adversarielle operative begrensninger.

11 minLes artikkel

23. des. 2023 · Sikre IIoT-systemer

Sikker IIoT-transport og segmenteringskontroller: Invariatorientert spesifikasjon og verifikasjon

En formell engineeringanalyse av sikre IIoT-systemer med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.

10 minLes artikkel

11. nov. 2023 · Sikre IIoT-systemer

Sikker IIoT-transport og segmenteringskontroller: Latenstid-tilgjengelighet avveininger under adversariell last

En formell engineeringanalyse av sikre IIoT-systemer med vekt på latenstid-tilgjengelighet avveininger under adversariell last og adversarielle operative begrensninger.

9 minLes artikkel

25. okt. 2023 · Sikre IIoT-systemer

Sikker IIoT-transport og segmenteringskontroller: Feilinneslutning og grenser for blast radius

En formell engineeringanalyse av sikre IIoT-systemer med vekt på feilinneslutning og grenser for blast radius og adversarielle operative begrensninger.

8 minLes artikkel

13. sep. 2023 · Post-kvantum infrastruktur

Kontrollplan for post-kvantum migrering: Hendelsesrekonstituering under delvis feil

En formell engineeringanalyse av post-kvantum infrastruktur med vekt på hendelsesrekonstituering under delvis feil og adversarielle operative begrensninger.

14 minLes artikkel

27. aug. 2023 · Post-kvantum infrastruktur

Kontrollplan for post-kvantum migrering: Revisjonsspor og verifiserbare operasjoner

En formell engineeringanalyse av post-kvantum infrastruktur med vekt på revisjonsspor og verifiserbare operasjoner og adversarielle operative begrensninger.

13 minLes artikkel