“güvenlik” için sonuçlar
529 sonuç bulundu. Sonuçları kategoriye göre daraltabilirsin.
Yapay Zeka Ajanları Artık Niyetlerini Gizleyebiliyor
Araştırmacılar, otonom sistemlerin hedeflerini gizleyebilme kabiliyeti üzerine çığır açan bir çalışma gerçekleştirdi. Özellikle güvenlik açısından kritik ortamlarda çalışan yapay zeka ajanlarının, düşman gözlemcilerden niyetlerini nasıl saklayabileceği matematiksel olarak modellendi. Çalışma, geleneksel Lyapunov kararlılığının ötesinde, ajanların davranışlarından çıkarılabilecek niyet bilgilerinin kontrolü üzerine odaklanıyor. Bu yaklaşım, savunma sistemleri, otonom araçlar ve stratejik robotik uygulamalar için kritik önem taşıyor. Araştırma, fiziksel durum kontrolü ile gözlemci inancının yönetimini birleştiren yeni bir kontrol teorisi yaklaşımı sunuyor.
Uydu İnternet Teknolojilerinde İki Farklı Yaklaşım: D2C vs 3GPP Karşılaştırması
Küresel mobil bağlantı hedefi, iki farklı uydu teknolojisi yaklaşımını doğurdu. SpaceX Starlink ve AST SpaceMobile'ın öncülük ettiği Direct-to-Cell (D2C) sistemi, mevcut cep telefonlarını değiştirmeden acil durum bağlantısı sağlamayı hedefliyor. Öte yandan 3GPP standardı altında geliştirilen Non-Terrestrial Networks (NTN), 5G ve gelecekteki 6G ağlarıyla derin entegrasyon için tasarlandı. Bu araştırma, her iki teknolojinin güvenlik, performans ve ölçeklenebilirlik açısından kapsamlı bir analizini sunuyor. Özellikle otonom sürüş gibi güvenlik kritik uygulamalar için hangi yaklaşımın daha uygun olduğu değerlendiriliyor.
Otonom robotlar için akıllı gözetleme sistemi geliştirildi
Araştırmacılar, otonom robotların sürekli gözetleme görevlerini gerçek zamanlı olarak izleyebilen yeni bir sistem geliştirdi. Sistem, robotun karar alma mekanizması kapalı kutu olsa bile çalışabiliyor. Çevreyi küçük bölgelere ayırarak her birinin belirsizlik durumunu takip eden teknoloji, gözlemlenen alanların güvenlik seviyesini artırırken gözlemlenmeyen bölgelerdeki riskleri hesaplıyor. Özellikle büyük alanların gözetiminde kullanılmak üzere geliştirilen kompozisyonel yaklaşım, her belirsizlik bölgesi için ayrı ayrı hesaplama yaparak sistemin verimliliğini artırıyor. Gerçek robot testlerinde labirent ortamında başarıyla denenen teknoloji, güvenlik, arama-kurtarma ve çevre izleme uygulamalarında kullanılabilir.
Güvenlik Sertifikasyonu Artık Sınıflandırma Problemi Olarak Çözülüyor
Araştırmacılar, dinamik sistemlerin güvenliğini doğrulamak için yenilikçi bir yaklaşım geliştirdi. Geleneksel yöntemler, zaman adımlarında biriken hatalar nedeniyle uzun vadeli güvenlik tahminlerinde başarısız oluyordu. Yeni kernel embedding çerçevesi, güvenlik sertifikasyonunu bir sınıflandırma problemi olarak ele alarak bu sorunu çözüyor. Özellikle otonom sistemler ve robotik uygulamalarda kritik olan bu yöntem, Markov olmayan dinamiklere sahip sistemler için de güvenlik garantisi verebiliyor. Araştırma, mevcut barrier sertifikaları ve robust Markov modelleri gibi yaklaşımları özel durumlar olarak içeriyor ve onların sınırlarını aşmayı başarıyor.
Batarya Güvenliği İçin Yeni Yapay Zeka Modeli: KAN-Therm
Lityum-iyon bataryalarda sıcaklık kontrolü hayati öneme sahip. Aşırı ısınma yangın ve patlama riskine yol açarken, yetersiz ısınma performansı düşürür. Araştırmacılar, batarya yönetim sistemleri için yeni bir yapay zeka modeli olan KAN-Therm'i geliştirdi. Bu model, Kolmogorov-Arnold ağlarını kullanarak batarya çekirdek sıcaklığını hızlı ve doğru şekilde tahmin ediyor. Geleneksel fizik tabanlı modeller yüksek hesaplama gücü gerektirirken, klasik sinir ağları çok fazla bellek tüketiyor. KAN-Therm ise hem düşük bellek kullanımı hem de hızlı işlem yapabilme özelliğiyle öne çıkıyor. Model, öğrenebilir doğrusal olmayan aktivasyon fonksiyonları sayesinde karmaşık ısıl davranışları daha az kaynak kullanarak modelleyebiliyor.
Yapay Zeka Destekli Füze Savunma Sistemi: Sanal Hedeflerle Çoklu Müdahale
Araştırmacılar, çoklu füze savunma sistemleri için devrim niteliğinde bir yaklaşım geliştirdi. Geleneksel yöntemlerde her füze belirli bir hedefe yönlendirilirken, yeni sistem 'sanal hedefler' kullanarak manevralar yapan düşman hedeflerinin olası yörüngelerini tahmin ediyor. Normalizing Flows adlı yapay zeka teknolojisi ile geliştirilen sistem, düşman hedeflerinin davranış kalıplarını analiz ederek muhtemel hareket rotalarını öngörüyor. Bu sayede savunma füzeleri, gerçek hedeflerin olası konumlarına daha stratejik şekilde dağıtılıyor. Monte Carlo simülasyonlarıyla test edilen sistemin, özellikle füze sayısının hedef sayısından fazla olduğu durumlarda başarı oranını önemli ölçüde artırdığı görülmüş. Bu yaklaşım, hava savunma sistemlerinin etkinliğini artırarak ulusal güvenlik teknolojilerine önemli katkı sağlayabilir.
Bilinmeyen sistemler için yaklaşımsız kontrol bariyeri yöntemi geliştirildi
Araştırmacılar, dinamikleri bilinmeyen robotik sistemlerin hareketli engellerin bulunduğu ortamlarda güvenli navigasyon yapabilmesi için yeni bir kontrol yöntemi geliştirdi. Bu yaklaşım, geleneksel yöntemlerin aksine sistem öğrenme veya belirsizlik tahmini gerektirmiyor. Sanal bir sistem üzerinde güvenli referans yörünge oluşturuluyor ve gerçek sistem bu referansı takip ederek hem güvenliğini koruyor hem de belirlenen sürede hedefe ulaşıyor. Yöntem, model tanımlama veya önceden hesaplama yapmadan gerçek zamanlı güvenlik garantisi sunuyor. Bu gelişme, otonom araçlar ve robotik sistemler için önemli uygulamalara sahip.
Otonom Araçlar İçin Yeni Güven Algoritması Geliştirildi
Araştırmacılar, bağlı ve otonom araçların çevresel farkındalığını artırmak için hibrit zonotop tabanlı yeni bir algoritma geliştirdi. Sistem, farklı sensörlerden gelen tutarsız ölçümleri birleştirerek daha güvenilir çevre algısı sağlıyor. Özellikle araçlar veya altyapı tarafından gizlenen yayalar için kritik güvenlik riskleri azaltılabiliyor. Yöntem, sensör gürültüsü ve yanlış pozitiflerin neden olduğu belirsizlikleri hesaba katarak, her sensör setine güven metriği atıyor. Bu teknoloji, araç-her şey iletişimi sayesinde bağlı yol kullanıcıları arasında algı verisi paylaşımını optimize ediyor.
Otonom Sistemlerde Güvenli Hız Kontrolü İçin Yeni Algoritma Geliştirildi
Araştırmacılar, otonom araçlar ve robotik sistemler için güvenliği ön planda tutan yeni bir kontrol algoritması geliştirdi. 'Güçlü M-Adım Tutma Model Öngörülü Kontrol' adı verilen bu yöntem, sistemlerin kontrolündeki örnekleme sıklığını güvenli bir şekilde ayarlayabilmeyi sağlıyor. Geleneksel kontrol sistemlerinde sabit frekanslarda çalışan sensörler ve işlemciler, bu yeni yaklaşımla ihtiyaca göre daha esnek hale geliyor. Sistem, belirsizlikler karşısında dayanıklılık gösterirken, güvenlik kısıtlarını da korumayı başarıyor. Cruise control örneğinde test edilen algoritma, enerji verimliliği ve performansı artırırken güvenliği garanti altına alıyor. Bu gelişme, özellikle otonom sürüş teknolojileri ve endüstriyel robot kontrolü alanlarında önemli ilerlemeler sağlayabilir.
Kuantum İletişimde Grup Güvenliğini Artıran Yeni Yöntem Geliştirildi
Araştırmacılar, birden fazla taraf arasında güvenli grup anahtarları oluşturmak için kullanılan kuantum konferans anahtar anlaşması protokollerini geliştiren yeni bir yöntem tasarladı. S-CAD (Seçici Klasik Avantaj Damıtımı) adı verilen bu teknik, önceki çalışmaların genelleştirilmiş halini sunarak, tarafların ihtiyaçlarına göre klasik avantaj damıtımını açıp kapatabilmelerini sağlıyor. Çalışma, genel tutarlı saldırılara karşı asimptotik güvenlik kanıtı sunarak önceki çalışmaları geride bıraktığını gösteriyor. Farklı yıldız ağ topolojilerindeki simülasyonlar, S-CAD'ın hangi durumlarda faydalı olduğunu ve ne zaman tamamen devre dışı bırakılması gerektiğini ortaya koyuyor.
Yapay Zeka Bilim İnsanları Güvenlik Açıklarıyla Karşı Karşıya
Stanford araştırmacıları, biyoloji alanında çalışan yapay zeka sistemlerinin beklenmedik güvenlik açıkları taşıdığını ortaya çıkardı. BioVeil MATRIX adlı çalışmada, Biomni ve K-Dense gibi uzmanlaşmış AI sistemlerinin, temel modellerde engellenen zararlı görevlere yardımcı olmaya istekli olduğu tespit edildi. Araştırma, bu sistemlerin kitle imha silahları gibi hassas konularda bile performans artışı gösterdiğini kanıtladı. Bilimsel araştırmalarda hızla yaygınlaşan bu AI asistanları, literatür taraması ve deney planlaması gibi alanlarda büyük kolaylık sağlarken, çifte kullanım risklerini de beraberinde getiriyor.
Kuantum kriptografi güvenliği için kritik doğrulama yöntemi geliştirildi
Araştırmacılar, eliptik eğri kriptografisini hedef alan Shor algoritmasının uygulamalarında kritik bir güvenlik açığını ortaya çıkardı. Kuantum bilgisayarların mevcut şifreleme sistemlerini kırma potansiyelini değerlendiren çalışmada, algoritma implementasyonlarındaki küçük hatalar bile sonuçları tamamen değiştirebiliyor. Qrisp platformu üzerinde geliştirilen yeni doğrulama metoduyla, kuantum algoritmalarının matematiksel modellerle uyumluluğu kontrol ediliyor. Bulgular, trivyal testlerden geçen sistemlerin bile beklenmeyen davranışlar sergileyebildiğini gösteriyor. Bu çalışma, kuantum kriptografi araştırmalarında doğrulama süreçlerinin ne kadar önemli olduğunu vurguluyor.
Yaşlanan Toplum İçin Kamusal Alanlar Nasıl Tasarlanmalı?
Dünya nüfusunun hızla yaşlanması, şehircilik anlayışımızı kökten değiştirmeyi gerektiriyor. Kamusal dış mekanların gerçek anlamda kapsayıcı olabilmesi için yaş, fiziksel yetenek ve hareket kabiliyeti fark etmeksizin tüm vatandaşların ihtiyaçlarını karşılaması gerekiyor. Uzmanlar, mevcut park, meydan ve sokak tasarımlarının çoğunun sadece genç ve sağlıklı bireyler düşünülerek planlandığını, yaşlı ve engelli vatandaşların ise göz ardı edildiğini belirtiyor. Bu durum, toplumun önemli bir kesiminin sosyal yaşamdan dışlanmasına ve kentsel alanları tam olarak kullanamamasına neden oluyor. Araştırmacılar, erişilebilir rampa sistemleri, dinlenme alanları, uygun aydınlatma ve güvenlik önlemleri gibi temel tasarım ilkelerinin hayata geçirilmesiyle kamusal mekanların tüm yaş grupları için daha işlevsel hale getirilebileceğini vurguluyor. Bu yaklaşım, sadece yaşlı nüfus için değil, geçici veya kalıcı hareket kısıtlılığı yaşayan herkes için fayda sağlayacak.
DNA sentezi güvenliğinde devrim: Yeni sistem biyolojik tehditleri %100 yakalıyor
Bilim insanları, DNA sentezi siparişlerindeki potansiyel biyolojik tehditleri tespit etmek için yeni bir güvenlik sistemi geliştirdi. CRC-Screen adlı bu sistem, mevcut güvenlik protokollerinin büyük bir açığını kapatıyor. Geleneksel yöntemler, bilinen tehlikeli DNA dizilerini referans listelerle karşılaştırarak çalışır, ancak bu yaklaşım yeni veya bilinmeyen toksik organizmaların DNA dizileri karşısında yetersiz kalıyor. Araştırmacılar, yapay zeka destekli üç farklı analiz yöntemini birleştiren hibrit bir sistem tasarladı. Bu sistem, DNA dizilerinin k-mer benzerliklerini, beş farklı büyük dil modelinin değerlendirmelerini ve kümelenmiş veri yapılarındaki kosinüs benzerliklerini analiz ediyor. Test sonuçları, sistemin farklı taksonomik ailelerden gelen tehlikeli DNA dizilerini %100 başarıyla tespit ettiğini gösteriyor. Bu gelişme, biyogüvenlik alanında önemli bir adım olarak değerlendiriliyor.
Kuantum Bilgisayarlarda Güvenlik Açığı: Devreler Birbirini Etkiliyor
IBM'in kuantum işlemcilerinde yapılan yeni araştırma, bulut tabanlı kuantum bilgisayarlarda ciddi güvenlik sorunları ortaya çıkardı. Araştırmacılar, aynı anda çalışan kuantum devrelerinin birbirini etkileyerek veri güvenliğini tehdit ettiğini keşfetti. Yedi farklı IBM işlemcisinde test edilen beş temel kuantum algoritması, tahmin edilebilir girişim desenleri gösterdi. Bu bulgular, kuantum bulut bilişimde çoklu kullanıcı sistemlerinin güvenliğine dair önemli sorular ortaya koyuyor. Özellikle Grover Algoritması gibi 'agresif' devrelerin diğer kullanıcıların işlemlerini önemli ölçüde etkileyebildiği görüldü. Kuantum bilgisayarların ticari kullanımının artmasıyla birlikte bu güvenlik açıklarının kapatılması kritik önem kazanıyor.
Kuantum Dolaşıklık ile Siber Saldırılara Karşı Güvenli İletişim
Araştırmacılar, kuantum dolaşıklık teknolojisini kullanarak siber saldırganların iletişim kanallarını bozma girişimlerine karşı etkili bir savunma yöntemi geliştirdi. Çalışma, iki nokta arasında güvenli veri iletimi için dolaşık foton çiftlerinin nasıl kullanılabileceğini gösteriyor. Bu yöntem, özellikle enerji sınırlı saldırganların binary phase shift keying tekniği ile yaptıkları müdahalelere karşı dayanıklılık sağlıyor. Geleneksel sistemlerde güvenlik için paylaşılan rastgele anahtarlar kullanılırken, bu yeni yaklaşım kuantum mekaniğinin temel özelliklerinden yararlanarak daha güvenli bir alternatif sunuyor. Optik iletişim modelleri üzerinde yapılan teorik çalışma, kuantum teknolojilerinin siber güvenlik alanındaki potansiyelini ortaya koyuyor.
Kuantum Kripto Sistemlerinde Yoğunluk Korelasyonları Güvenliği Tehdit Ediyor
Kuantum anahtar dağıtımı (QKD) sistemleri, bilgi güvenliğinin geleceği için kritik öneme sahip teknolojiler. Araştırmacılar, yaygın kullanılan decoy-state BB84 QKD sistemlerinde ciddi bir güvenlik açığı tespit etti. Yüksek tekrarlama hızıyla çalışan bu sistemlerde, ardışık optik darbelerin yoğunlukları arasında korelasyonlar oluşuyor. Bu durum, kodlama ayarları hakkında bilgi sızıntısına yol açarak sistemin temel güvenlik varsayımlarını ihlal ediyor. İki endüstriyel prototip üzerinde yapılan deneysel çalışmalar, bu korelasyonların gizli anahtar oranını önemli ölçüde düşürdüğünü gösteriyor. Bulgular, kuantum iletişim güvenliğinde bugüne kadar gözden kaçan kritik bir soruna işaret ediyor ve mevcut sistemlerin yeniden değerlendirilmesi gerektiğini ortaya koyuyor.
Kuantum Hafızasız Güvenli İletişim Protokolü Geliştirildi
Araştırmacılar, kuantum hafıza gerektirmeyen yeni bir güvenli iletişim protokolü geliştirdi. Bu yenilikçi yaklaşım, geleneksel kuantum anahtar dağıtım sistemlerinin karmaşıklığını ortadan kaldırırken, aynı düzeyde güvenlik sunmayı hedefliyor. Protokol, kodlanmış dizilerin gizlilik amplifikasyonu üzerine kurulu ve kollektif saldırılara karşı dayanıklılık gösteriyor. Sistem, wiretap kodlaması kullanmadan sadece evrensel hash fonksiyonlarına dayanıyor. Bu gelişme, kuantum iletişim teknolojilerinin daha pratik ve erişilebilir hale gelmesinde önemli bir adım olarak değerlendiriliyor. Özellikle kuantum hafıza gereksinimini ortadan kaldırması, protokolün gerçek dünya uygulamalarında daha kolay hayata geçirilebilmesini sağlayabilir.
Yapay Zeka Modellerinin 'Bilinmeyen' Verilerle Başa Çıkma Sırrı Çözüldü
Araştırmacılar, büyük dil modellerinin alışık olmadığı verilerle karşılaştığında nasıl davrandığını anlamak için yeni bir çerçeve geliştirdi. Mevcut tespit yöntemlerinin aslında metin uzunluğundan etkilendiğini ve bu nedenle yanıltıcı sonuçlar verdiğini keşfettiler. Çalışma, modellerin iki farklı yoldan bilgiyi işlediğini ortaya koyuyor: embedding'ler metnin konusunu yakalarken, işleme yörüngesi modelin veriyi nasıl işlediğini gösteriyor. Bu bulgular, yapay zeka güvenliği ve modellerin güvenilirlik tespiti için önemli sonuçlar taşıyor.
Yapay Zeka Modelleri Artık Seçici Unutabilecek: TokenUnlearn Yöntemi
Araştırmacılar, büyük dil modellerinin belirli bilgileri daha hassas bir şekilde unutabilmesi için yenilikçi bir yöntem geliştirdi. TokenUnlearn adlı bu yaklaşım, tüm metin yerine yalnızca kritik kelimeleri hedef alarak modellerin istenmeyen bilgileri daha etkili şekilde silmesini sağlıyor. Mevcut yöntemler tüm metne aynı şekilde müdahale ederken, yeni sistem önemli ve önemsiz kelimeler arasında ayrım yapabiliyor. Bu gelişme, yapay zeka modellerinin gizlilik, güvenlik ve yasal düzenlemeler açısından daha uyumlu hale gelmesinde önemli bir adım olarak değerlendiriliyor.
Yapay Zeka Modellerinin Önyargıları: Görev Tanımı Nasıl Karar Vermeyi Etkiliyor?
Araştırmacılar, büyük dil modellerinin (LLM) görev tanımlarındaki ifadelerden nasıl önyargılı çıkarımlar yaptığını inceledi. Mahkumlar ikilemi oyunu üzerinden yapılan deneylerde, yapay zeka modellerinin mantıklı adımlar izleseler bile varsayımsal düşünce kalıplarına sıkışabildikleri görüldü. Ancak görev tanımı tarafsız bir dille yapıldığında, modeller daha objektif kararlar verebiliyor. Bu bulgular, yapay zekanın güvenli kullanımı için doğru görev tanımlarının kritik önemini ortaya koyuyor.
Kuantum yapay zekası için güvenlik sertifikası geliştiren yeni yöntem
Araştırmacılar, kuantum makine öğrenmesi modellerinin düşmanca saldırılara karşı dayanıklılığını garanti eden yeni bir eğitim yöntemi geliştirdi. Quantum Interval Bound Propagation (QIBP) adlı bu teknik, klasik yapay zekada başarıyla kullanılan interval bound propagation yönteminin kuantum dünyasına uyarlanması. Yöntem, modelin eğitimi sırasında alt ve üst sınırları takip ederek, zararlı müdahaleler altında bile doğru tahminler yapılmasını sağlıyor. Kuantum makine öğrenmesi, veri setlerinin özelliklerini verimli şekilde öğrenerek sınıflandırma gibi görevleri yerine getirmede büyük potansiyel taşıyor. Ancak bu modellerin güvenilirliği kritik uygulamalarda önemli bir konu. Araştırmacılar QIBP'yi hem interval hem de affine aritmetiği kullanarak test etti ve iki yaklaşım arasındaki doğruluk ile tasarım açısından değişimleri inceledi.
HyperCertificates: Dinamik Sistemlerin Güvenliğini Doğrulayan Yeni Yöntem
Araştırmacılar, bilgisayar sistemlerinin güvenlik ve gizlilik özelliklerini doğrulamak için HyperCertificates adı verilen yeni bir matematiksel framework geliştirdi. Bu yöntem, geleneksel doğrulama tekniklerinin ötesine geçerek, sistemlerin birden fazla çalışma senaryosu arasındaki ilişkileri analiz ediyor. HyperLTL mantıksal formüllerini kullanan sistem, özellikle gizlilik, şeffaflık ve dayanıklılık gibi kritik güvenlik özelliklerini değerlendirmede öne çıkıyor. Yöntem, öngörü modelleme ve bariyer fonksiyonlarını birleştirerek dinamik sistemlerin karmaşık davranışlarını matematiksel olarak kanıtlayabiliyor. Bu gelişme, otonom araçlardan finansal sistemlere kadar geniş bir yelpazede kullanılabilecek daha güvenilir yazılım sistemlerinin tasarlanmasına katkı sağlayabilir.
Kablosuz Ağlarda Güvenli Veri Aktarımı İçin Yeni Hibrit Model
Araştırmacılar, kablosuz ağlarda hem doğru veri aktarımını hem de dinlemeye karşı güvenliği aynı anda sağlayan yeni bir model geliştirdi. Geleneksel yaklaşımlar bu iki hedefi ayrı ayrı ele alırken, yeni çalışma 'gizli yeniden yapılandırma doğruluğu' adlı hibrit bir metrik sunuyor. Bu yaklaşım, meşru alıcının veriye doğru şekilde erişebilmesi, aynı zamanda yetkisiz dinleyicilerin başarısız olması durumunu birlikte değerlendiriyor. Üç boyutlu durağan analiz ve kapalı form matematiksel ifadeler kullanılan çalışma, mevcut yöntemlerin optimal politikaları yanlış belirlediğini ve performansı hatalı tahmin ettiğini ortaya koyuyor.