Siber İstihbarat Kapsamında: ''ECHELON'' İstihbarat Sistemi

Hürkuş Projesi'nin Yazılım Kapsamında Sertifikasyon Yolculuğu

Özet. Bu bildiride, Türk Başlangıç ve Temel Eğitim Uçağı’nın (Hürkuş) tip sertifikasyonu yolculuğunda, uçak üzerindeki cihazların içindeki yazılımların “DO-178B” (Software Considerations in Airborne Systems and Equipment Certification) rehber dokümanına ve projenin sertfikasyon otoritesi “Avrupa Sivil Havacılık Otoritesi” (European Aviation Safety Agency (EASA)) tarafından açılan “Sertifikasyon...

Poslovni model in informacijski sistemi

Povzetek. V prispevku se ukvarjamo s povezavo med poslovnimi modeli, informacijsko tehnologijo (IT) in informacijskim sistemom (IS) podjetja. Govorimo o tem, da je pojem poslovni model v dosedanji literaturi slabo in nejasno razumljen, saj se raziskovalci lotevajo problema neenotno in brez upoštevanja dognanj drugih. Prikazujemo razlage avtorjev, ki uporabljajo pojem poslovni model za različne ...

SAAS Uygulamalar için bir Anomali Algılama Sistemi

Özet. SAAS ortamlar nda kullan c 3ifrelerinin ele geçirilmesiyle olu3an yetkisiz oturumlar n tespiti ve sonland r lmas , kullan c güvenli§i aç s nda oldukça önemlidir. Bunun için kullan c lar 3ifreleri olmaks z n tan mlayabilecek ikincil bir yöntem gerekmektedir. nsan zyolojisinde s kl kla tekrarlanan hareketler bir süre sonra kas haf zas ad verilen mekanizmaya göre istemsizce yap lmaya ba3lan...

Echelon analysis

Echelon Form

In this work we present the formalization of an algorithm to compute the Echelon Form of a matrix. We have proved its existence over Bezout domains and we have made it executable over Euclidean domains, such as Z and K[x]. This allows us to compute determinants, inverses and characteristic polynomials of matrices. The work is based on the HOL-Multivariate Analysis library, and on both the Gauss...