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

Nullstill

Utforsk kategorier (22)

Utforsk tagger (60)

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

8 artikler funnet. Viser 1-8.

27. mars 2026 · IIoT

Revocation as a First-Class Control Plane in Secure IIoT Identity

A deconstruction of EVOKE for constrained-fleet trust, rollback resistance, and operational revocation convergence

13 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