← Yazılar

Kastamonu Belediyesi Akıllı Şehir, Dijital Arşiv ve Proje Yönetimi: Rust, RustGIS ve Kuantuma Dayanıklı Kriptografi

T.C. Kastamonu Belediyesi için Rust dilinde sıfırdan geliştirilen; 26 müdürlüğü bağlayan IoT telemetrisi, harici harita bağımlılığını sıfırlayan RustGIS motoru, TS 13298 dijital arşiv ve NIST FIPS 203/204 kuantum dirençli kamu altyapısının teknik anatomisi.

· Güncellendi: · 8 dk okuma
İçindekiler

Özet: Yerel yönetimlerin bilişim altyapıları uzun yıllardır hantal, dışa bağımlı ve siber tehditlere açık yazılım yığınlarıyla yönetilmeye çalışılmaktadır. Bu makalede; T.C. Kastamonu Belediyesi Başkanlığı için geliştirdiğim, bellek güvenliğini derleme aşamasında sağlayan Rust (2024 Edition) mimarisini; harici CDN ve harita servislerine bağımlılığı kaldıran yerli RustGIS kiremit motorunu; 5393 ve 5018 sayılı kanunlarla entegre Kurumsal Proje Yönetim Sistemini (PYS); TS 13298 standartlı Dijital Arşivi ve NIST FIPS 203/204 standartlarına dayanan kuantuma dayanıklı hibrit kriptografiyi inceliyorum.

// TEMEL MIMARI ÇIKARIMLAR (CORE ARCHITECTURE HIGHLIGHTS)
  • Tam Rust Workspace Ekosistemi: Modüler Cargo workspace yapısı (`kb-core`, `kb-crypto`, `kb-gis`, `kb-archive`, `kb-server`) ile bellek güvenliği ve düşük yanıt süreleri.
  • Sıfır Dış Bağımlılıklı RustGIS: OpenStreetMap ya da Google Maps API zorunluluklarını ortadan kaldıran, belediye sınırları içerisinde matematiksel WGS84 - Web Mercator dönüşümü yapan SVG/Vektör tabanlı yerel kiremit (tile) motoru.
  • 26 Belediye Müdürlüğü & 2.060 Sensör Noktası: Fen İşleri, Su Kanalizasyon (KASKİ), Zabıta, İtfaiye ve Park Bahçeler başta olmak üzere 26 müdürlüğe tahsisli canlı IoT telemetrisi ve filo takip protokolü.
  • NIST FIPS 203 / 204 Kuantum Dayanıklılığı: ML-KEM (Kyber) anahtar değişimi, ML-DSA (Dilithium) ve Ed25519 hibrit imzalaması ile kuantum bilgisayarlara karşı da dayanıklı olması hedeflenen evrak ve veri güvenliği.
  • Mevzuat Uyumu: 5393 Sayılı Belediye Kanunu (Madde 41), 5018 Sayılı Kamu Malî Yönetimi Kanunu (Madde 9 bütçe tahsis ve bloke kontrolleri), 6698 Sayılı KVKK otomatik veri maskeleme, TS 13298 ve 3473 Sayılı Kanun arşiv saklama planı.

Giriş: Modern Kamu Bilişiminde Paradigm Kayması

Yerel yönetimler, vatandaşların gündelik hayatını doğrudan ilgilendiren onlarca farklı sahada (altyapı, ulaşım, imar, sosyal yardımlar, zabıta denetimleri ve afet yönetimi) yoğun veri akışlarını yönetir. Geleneksel belediye yazılımlarında sıkça karşılaşılan mimari zaaflar şunlardır:

  1. Yüksek Kaynak Tüketimi ve Çökme Riskleri: Yorumlanan veya sanal makine (JVM, Node.js, Python) üzerinde çalışan servislerin aşırı bellek tüketmesi, ani yük dalgalanmalarında çökmesi ve “çöp toplayıcı” (garbage collector) duraklamaları nedeniyle gerçek zamanlı telemetrinin aksaması.
  2. Harici Harita ve CDN Bağımlılıkları: Akıllı şehir ekranlarında kullanılan kiremitlerin (tiles) yabancı sunuculardan çekilmesi; internet kesintilerinde veya olası ambargo durumlarında kriz koordinasyonunu felç etmesi.
  3. Kuantum Sonrası Siber Tehditler (Q-Day): Klasik RSA veya salt ECC algoritmalarının, gelecekteki kuantum bilgisayarlar tarafından tersine çevrilebilir olması (Shor Algoritması) sebebiyle tapu, imar ve kurumsal arşiv kayıtlarının gizliliğini yitirme tehlikesi.
  4. Mevzuattan Kopuk Tasarım: Bütçe ve proje modüllerinin 5018 ve 5393 sayılı kanunların gerektirdiği analitik bütçe kodlaması ve performans programı hiyerarşisini karşılayamaması.

Bu kronik problemleri ortadan kaldırmak amacıyla, T.C. Kastamonu Belediyesi için geliştirdiğimiz platformu en baştan Rust programlama dili, güvenlik odaklı tasarım ilkeleri ve yerel bir coğrafi bilgi sistemi üzerine kurduk.

1. Rust Workspace Mimarisi ve Katmanlı Tasarım

Sistem, tek parça (monolitik) karmaşık bir yapı yerine her biri bağımsız olarak test edilebilen, derlenebilen ve yüksek performans sağlayan Cargo Workspace mimarisiyle inşa edilmiştir:

crates/
├── kb-crypto/   # Kuantum sonrası kriptografi, erişim denetimi ve WORM denetim izi
├── kb-core/     # 5393/5018 Mevzuat modelleri, analitik bütçe, EVM ve KVKK motoru
├── kb-gis/      # RustGIS motoru, koordinat projeksiyonu, 26 müdürlük & sensör telemetrisi
├── kb-archive/  # TS 13298 / 3473 Sayılı Kanun standartlı dijital arşiv ve devir-teslim
└── kb-server/   # Tokio & Axum tabanlı asenkron mikroservis çekirdeği ve statik dağıtım

Bellek Güvenliği ve Zeroize Prensibi

Kamu arşivlerindeki kriptografik anahtarlar ve oturum belirteçleri işlem bittikten sonra RAM üzerinde bırakılamaz. kb-crypto kütüphanesinde yer alan tüm anahtar ve mühür nesneleri, FIPS 140-3 gerekliliklerine uygun olarak zeroize trait’i ile donatılmıştır. Kapsam (scope) dışına çıkan nesneler bellekten güvenli şekilde sıfırlanarak temizlenir.

2. RustGIS ile Sıfır Bağımlılıklı Kentsel Coğrafi Bilgi Sistemi

Akıllı şehirlerin bel kemiği haritadır. Bir belediyenin afet anında, yurt dışı bağlantısı kesildiğinde dahi harita sunabilmesi kritik önemdedir.

Projede opengeos/RustGIS ilkeleri temel alınarak tamamen yerel bir harita kiremit (tile) işleyicisi ve koordinat dönüştürücüsü geliştirilmiştir.

pub struct RustGisEngine {
    pub min_zoom: u8,
    pub max_zoom: u8,
    pub center_lat: f64, // Kastamonu: 41.3887° K
    pub center_lon: f64, // Kastamonu: 33.7827° D
}
  • Matematiksel Koordinat Dönüşümü: WGS84 elipsoid koordinatları (enlem/boylam), Web Mercator (EPSG:3857) projeksiyonuna matematiksel formüllerle dönüştürülür: $$x = \left\lfloor \frac{\text{lon} + 180}{360} \times 2^z \right\rfloor, \quad y = \left\lfloor \left( 1 - \frac{\ln(\tan(\text{lat}{\text{rad}}) + \sec(\text{lat}{\text{rad}}))}{\pi} \right) \times 2^{z-1} \right\rfloor$$
  • Dahili SVG ve PNG Kiremit Üretimi: Harici sunuculara istek göndermeden vektörel topografya, sokak ızgaraları ve belediye hizmet binaları sunucuda çizilip istemciye sunulur.
  • 26 Müdürlük Telemetrisi: Fen İşleri asfalt ekiplerinden İtfaiye müdahale araçlarına, Su Arıza saha ekiplerinden Zabıta devriyelerine kadar 26 müdürlüğe bağlı 2.060 aktif IoT sensör noktası harita katmanına doğrudan bağlıdır.

3. Post-Quantum Kriptografi: NIST FIPS 203 ve FIPS 204 Kalkanı

Klasik şifreleme yöntemleri kuantum bilgisayarların gelişmesiyle (Shor algoritması) işlevsiz kalacaktır. Kastamonu Belediyesi’nin dijital arşivindeki mülkiyet evrakları, meclis kararları ve vatandaş verileri “Şimdi Kaydet, Gelecekte Çöz” (Harvest Now, Decrypt Later) saldırılarına karşı bugünden korunmalıdır.

Sistemimizde NIST FIPS 203 (ML-KEM / Crystals-Kyber) ve NIST FIPS 204 (ML-DSA / Crystals-Dilithium) standartları Ed25519 ile hibritlenmiştir:

  1. Hibrit Mühürleme: Her kurumsal belge hem klasik Ed25519 özel anahtarıyla hem de kafes tabanlı (lattice-based) kuantum sonrası gizli anahtarla imzalanır. İki imza aynı anda geçerli olmadan belge geçerlilik kazanamaz.
  2. Çift Kriptografik Özet (Dual-Hash): Belgelerin bütünlüğü SHA-256 ve kuantum dirençli SHA3-256 (Keccak-256) algoritmalarıyla çift katmanlı mühürlenir.
  3. Sayıştay Uyumlu WORM (Write Once, Read Many) & Merkle Ağacı: Arşiv üzerindeki her işlem değişmez bir Merkle Tree yapısına bağlanır. Veritabanına doğrudan yapılabilecek olası manipülasyonlar, Merkle kök özeti (root hash) uyuşmazlığı ile anında tespit edilerek sistem alarm durumuna geçer.

4. T.C. Mevzuatına Tam Entegre Kurumsal Proje Yönetimi (PYS)

Kamu kurumlarında proje yönetimi, özel sektördeki standart Kanban veya Scrum panolarından farklıdır. Türkiye Cumhuriyeti kanunları kamu kaynaklarının kullanımında katı kural ve denetimler emreder.

kb-core modülü içerisinde bu kurallar doğrudan Rust tip sistemine (type system) işlenmiştir:

5393 Sayılı Belediye Kanunu (Madde 41 - Stratejik Plan)

Tüm belediye projeleri; Stratejik Amaç (SA), Stratejik Hedef (SH) ve Performans Göstergesi (PG) hiyerarşisine bağlanmak zorundadır. Hedefe bağlanmayan hiçbir belediye projesinin sistemde açılmasına izin verilmez.

5018 Sayılı Kamu Malî Yönetimi ve Kontrol Kanunu (Madde 9 - Bütçe Bloke Kontrolü)

Bir proje kapsamında harcama onayı veya ihale başlatılmadan önce, ilgili analitik bütçe tertibinde yeterli ödenek bulunup bulunmadığı yazılımsal olarak denetlenir:

  • Analitik Bütçe Kodu Doğrulaması: Kurumsal (02.37.00.02) - Fonksiyonel (01.3.9.00) - Finans (5) - Ekonomik (03.5.1.01) formatı doğrulanır.
  • Bloke Motoru: Harcama başlatıldığında bütçeden ilgili tutar bloke edilir. Bütçeyi aşan talepler reddedilir.

Kazanılmış Değer Analizi (EVM - Earned Value Management)

Projelerin fiziki ve finansal ilerlemesi şu formüllerle gerçek zamanlı izlenir:

  • Maliyet Performans Endeksi: $\text{CPI} = \frac{\text{EV}}{\text{AC}}$
  • Takvim Performans Endeksi: $\text{SPI} = \frac{\text{EV}}{\text{PV}}$

Bu sayede belediye yönetimi hangi projenin bütçesini aştığını veya takvim gerisinde kaldığını anlık takip edebilir.

5. TS 13298 Standartlarında Dijital Arşiv Sistemi

Belediye birimlerinin evrak yönetimi, TS 13298 Elektronik Belge ve Arşiv Yönetim Sistemi Standardı ile 3473 Sayılı Kanun hükümleri çerçevesinde dijitalleştirilmiştir.

  • Devir-Teslim Protokolü (Form 1): Birim arşivlerinden kurum arşivine evrak intikalinde mevzuatın zorunlu kıldığı standart devir-teslim formu otomatik üretilir.
  • Saklama ve İmha Planı: Belgenin türüne göre (İmar: Süresiz, Personel Özlük: 101 Yıl, Mali Belgeler: 10 Yıl) saklama planları otomatik hesaplanır; imha komisyonu kararı olmaksızın hiçbir evrak silinemez.
  • Bell-LaPadula Gizlilik ve Biba Bütünlük Modeli: Bilgi güvenliğinde yaygın kullanılan bu iki model uygulanarak “Yukarı Okuma Yasağı” (No Read Up) ve “Aşağı Yazma Yasağı” (No Write Down) ile alt yetkili personelin üst gizlilikteki evrakları sızdırması önlenmiştir.
  • 6698 Sayılı KVKK Maskelemesi: Vatandaşların T.C. kimlik ve telefon numaraları personelin ekranında maskelenmiş olarak gösterilir.

6. Uçtan Uca Doğrulama: Konsey ve Jev Denetim Raporu

Sistem, “Yazılım Konseyi” ve “Baş Denetçi Jev” yönergeleri doğrultusunda kapsamlı bir entegrasyon test paketinden geçirilmiştir (crates/kb-server/tests/test_konsey_jev_audit.rs).

running 14 tests
test tests::test_5018_analitik_butce_bloke_yetersiz_bakiye ... ok
test tests::test_5018_analitik_butce_bloke_onay_akisi ... ok
test tests::test_5393_madde41_stratejik_hedef_baglantisi ... ok
test tests::test_bell_lapadula_no_read_up_guvenlik_ihsasi ... ok
test tests::test_biba_butunluk_no_write_up ... ok
test tests::test_merkle_tree_ve_worm_degismezlik_dogrulamasi ... ok
test tests::test_post_quantum_fips203_fips204_hibrit_muhur ... ok
test tests::test_rustgis_koordinat_ve_kiremit_donusumu ... ok
test tests::test_sayistay_worm_tamper_tespiti ... ok
test tests::test_ts13298_ve_3473_saklama_plani ... ok
test tests::test_ts13298_form1_devir_teslim_tutanak_dogrulama ... ok
test tests::test_26_mudurluk_telemetri_ve_filo_takibi ... ok
test tests::test_kvkk_6698_otomatik_maskeleme ... ok
test tests::test_evm_kazanilmis_deger_analizi_metrikleri ... ok

test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out

Testler, mevzuat kurallarının ve kriptografik işlemlerin beklendiği gibi çalıştığını doğruluyor.

Sonuç ve Açık Kaynak Gelecek

Kastamonu Belediyesi için geliştirdiğim bu platform; yerel yönetimlerin yabancı bulut ve harita servislerine bağımlı kalmadan kendi altyapılarını nasıl kurabileceklerine dair somut bir örnek.

Rust’ın bellek güvenliği, RustGIS ile yerel haritalama ve kuantuma dayanıklı kriptografi bir araya geldiğinde, kamu kurumları için uzun ömürlü ve güvenli bir altyapı ortaya çıkıyor.

Tüm kaynak kodları, mimari dokümantasyonu ve kurulum kılavuzları açık kaynaklı olarak incelenebilir:

Görüş ve katkılarınızı bekliyorum.