Metodoloji
Puanlar bu sitenin sattığı üründür, bu yüzden model anlatılmaz, yayımlanır: bu sayfa, puanlayıcının okuduğu aynı dosyadan, methodology.json'dan oluşturulur. Yöntem sayılardan sapamaz, çünkü ondan yalnızca tek bir kopya vardır.
Hiçbir puan, hizmet sınıfı olmadan yazdırılmaz; asıl sorduğunuz soruya ikisinden hangisinin yanıt verdiğini size söyleyen de budur.
Sıra, saklanan bir değer değildir. Bir listenin özelliğidir: sıralanmış her sayfa, sağlayıcıları iki puana göre düzenler ve hangi eksene göre sıraladığını belirtir. Bir gizlilik sıralaması güvenliği öne alır, bir yayın sıralaması ise kullanılabilirliği. Öndeki eksen eşitlendiğinde liste diğer puana, ardından isme döner; bu yüzden sıralama tamdır ve hiçbir iki satır aynı sayıyı taşımaz. Kimsenin oynayabileceği bir sıra alanı yoktur.
Yayımlanan kayda birer soru soran sekiz bağımsız risk kanalı. Bir kanal, 0 ile 1 arasında bir olasılıkla yanıt verir — bu belirli yolun kullanıcıyı ne kadar tanımlayabileceği — ve sekizi toplanmaz, çarpılır.
Hiçbir kanal ne kadar önemli hissettirdiğine göre ağırlıklandırılmaz. Ağırlıklandırma, her kanalın bulduğu şeydedir; hiçbir şey bulunmaması puanı olduğu gibi bırakır.
Her kanal okuduğu alanları adlandırır ve her sağlayıcı sayfası, kaynakları ve tarihleriyle birlikte okuduğu gerçek değerleri gösterir. Aşağıdaki sayı, 67 güvenlik alanından kaçının her birini beslediğini gösterir; birden fazla soruyu yanıtlayan bir alan her birinin altında sayılır, bu yüzden sayılar toplamda 67'den daha fazla eder.
| Kanal | Sorduğu soru | Alanlar |
|---|---|---|
| Saklama | Trafiği bir kişiye bağlayan bir kayıt var mı ve kim kontrol etti? | 13 |
| Yargı yetkisi | Birisi, sağlayıcıya söz hakkı vermeden var olanı zorla açıklattırabilir mi? | 5 |
| İfşa | Daha önce bir şeyi teslim etti mi? | 6 |
| Bütünlük | Bir şey söyleyip başka bir şey yaparken yakalandı mı? | 17 |
| Mimari | Çıkışı kim işletiyor ve trafik üzerinde ne yapıyor? | 2 |
| Hijyen | Geçerken hangi kimlik belirleyici materyal toplanıyor ve istemci hiç kontrol edilebilir mi? | 12 |
| Bilgisizlik | Bunun ne kadarını kimse kanıtlamadı? | 6 |
| Sessizlik | On yıl, milyonlarca kullanıcı ve kayıtlarda hiçbir şey yok mu? | 5 |
Bir kanal, bir alanı okuyup tek başına bir sayı üretmez. İkisinin arasında modelin kuralları bulunur: 32 tanesi, her biri neyi okuduğunu, hangi kanala yanıt verdiğini ve ne tür bir aritmetik kullandığını belirtir. Burada tam olarak yazılıdır, çünkü okuyucunun göremediği bir kural, okuyucunun güvene dayanarak kabul etmek zorunda kaldığı bir kuraldır.
Hepsini on biçim kapsar ve biçim, bir kuralın bir puana ne yapabileceğinin dürüst özetidir:
capped_sum
Toplananlar, aşamayacakları bir üst sınıra doğru birikir.
constraint
Tabloların sağlaması gereken bir değişmez. Hiçbir şeyi fiyatlandırmaz ve sağlayıcı başına değerlendirilmek yerine selftest.py tarafından denetlenir.
decay
Arkasındaki kanıtın yaşına göre ölçeklenen bir değer.
derivation
Bir alanı diğerlerinden hesaplar, böylece olgu bir kez saklanır.
flag
Okuyucu için bir işaret yayımlar ve puanı değiştirmez.
gate
Bir sayı hesaplamak yerine modelin hangi dalının geçerli olduğunu seçer.
max
Tek bir durumun çeşitli kodlamaları arasından en kötüsü. Birikimli değildirler: iki kez kaydedilen bir olay hâlâ tek bir olaydır.
noisy_or
Bağımsız bulgular birleşir: 1 - product(1 - each).
product
Katsayılar çarpılır; her biri diğerlerinin kanıtladığı şeyi ölçeklendirir.
threshold
Bir aralığı veya kuralın devreye girip girmediğini belirleyen, girdiler üzerinde yapılan test.
32 kuralın tamamı bir şey fiyatlandırmaz. Dördü constraint biçimini taşır ve bunlardan üçü — R08, R22, R23 — hiçbir sağlayıcıya karşı değerlendirilmez: bunlar tabloların kendilerinin sağlaması gereken değişmezlerdir, bir kayıt puanlanırken değil sözleşme oluşturulurken denetlenir; bu yüzden bir alan sayısı yerine bir kapsam adlandırırlar.
Dördüncüsü, R29, gerçekten bir kaydı okur, ama bir alanın nasıl kodlanabileceğine karar vermek için, kodlamanın neye mal olduğuna değil. Bir tane daha, R15, bir flag'dir: okuyucu için bir işaret yayımlar ve hiçbir sayıyı değiştirmez.
R01_bought_coveragebütünlükmax4 alan okuyor
Ödendiği için var olan kapsam
params.bought_coverage ile fiyatlandırılan (X08, X10) çiftinin ve — M10 review_directory listeliyorsa — params.review_directory ile fiyatlandırılan X11'in maksimumu; hiçbir yol devreye girmediğinde 0.000
R02_cluster_contagionbütünlükproduct4 alan okuyor
Yalan söylerken yakalanmış bir kardeşten aktarılan risk
min(params.cap, coupling x transfer x kardeşler s için R04_lie_group(s) değerlerinin maksimumu); coupling, M18_shared_infrastructure üzerinde okunan params.coupling'dir; altyapı ayrıysa, bilinmiyorsa veya tabloda hiçbir şey adlandırmıyorsa M17_brand_role'a geri dönülür; transfer: bulgu tarihi >= her ikisinin max(M16) değeri ise 1.0, aksi halde 0.0; tarih belirtilmemiş bulgu -> 0.0; kardeşler yayımlanmış kayıtlar olmalıdır; bir kardeşin kendi bulaşmasını asla okumaz
R03_owner_businessbütünlükmax1 alan okuyor
Grubun sattığı diğer şeylerin ima ettiği para kazanma
M10 kategorileri üzerinden maksimum; X05 ile noisy-OR kullanılarak değil maksimum ile birleştirilir (tek durum, iki kodlama)
R04_lie_groupbütünlükmax2 alan okuyor
Yalan ekseni
max(X01, X02) — asla noisy-OR değil: iki kez kodlanan tek bir olay CHANNEL_CAP'e katlanmamalıdır; S19 = >0 ise caught_lying, ikisi de bilinmiyorsa unexamined, aksi halde clean
R05_exposuresessizlikthreshold3 alan okuyor
Maruziyet aralığı
pts = params.years_points ile puanlanan faaliyet yılları + params.scale_points ile puanlanan M08 + P04=stayed_logging olduğunda params.stayed_logging_points; aralık, toplamın ulaştığı params.bands içindeki en yüksek eşiktir, aksi halde low; elle yazılmış P10 yok sayılır
R06_ignorance
Aralık, puanın yanında saklanmaz, yayımlanan puandan okunur; bu yüzden kelime ile sayı birbirinden ayrılamaz.
| Aralık | Puan | Ne anlama geldiği |
|---|---|---|
| Koruma: yüksek | 75–100 | Sağlayıcının temel gizlilik iddiaları kanıtlarla desteklenmiştir ve bağımsız bir denetim bunları incelemiştir. |
| Koruma: orta | 55–74 | Önemli olanın çoğu doğrulanmıştır ve kayıtta sağlayıcıyı eleyecek hiçbir şey yoktur, ancak bazı boşluklar kalmaktadır. |
| Koruma: ortalamanın altında | 35–54 | Doğrulanmayan, doğrulanandan daha fazladır. Skandal bir şey yok, ama önermek için yeterli değil. |
| Koruma: düşük | 15–34 | Bilinenler çoğunlukla sağlayıcının aleyhine işliyor, ya da hakkında neredeyse hiçbir şey doğrulanamıyor. |
| Önerilmiyor | 0–14 | Elendi: sağlayıcı ne yaptığı konusunda yalan söylerken yakalandı ya da uygulaması başkalarının trafiğini kendi kullanıcılarının cihazları üzerinden gönderiyor. |
Güvenlik bir eşiktir, alınıp satılabilir bir miktar değil. Genel bir sıralamada yüksek bir kullanılabilirlik puanı, bir sağlayıcıyı daha iyi güvenlik puanına sahip birinin üzerine çıkaramaz. Liste önce güvenliğe göre sıralanır ve kullanılabilirliğe yalnızca kayıtların güvenlik puanları birebir eşit olduğunda başvurur.
Sicilin şu anki hâlinde, kullanılabilirlikte 60 puan alan bir sağlayıcı, 55 puan alan birinin 25 sıra altındadır — ve bu bir hata değil, doğru sıralamadır.
Model, bir şirket hakkındaki görüşümüzü değil, yayımlanan kanıtın durumunu puanlar. Bu yüzden bir değer hakkında üç şey, değerin kendisi kadar önemlidir.
Her değerin kendi kaynakları vardır ve her kaynak bir düzey taşır. Ağırlıklar modele aittir:
| Düzey | Ağırlık | Ne olduğu |
|---|---|---|
| A | 1.00 | Belgenin kendisi — politika, rapor, mahkeme kaydı |
| B | 0.85 | Sağlayıcının hesap verebilir bir yerde bunu söylemesi |
| C | 0.70 | Yetkin bir üçüncü tarafın bunu bildirmesi |
| D | 0.35 | Bundan daha zayıf olan her şey |
Ayrıca her değer oraya nasıl geldiğini de kaydeder. document, bir kaynak olduğu anlamına gelir ve yalnızca bunlar kaynaklı iddialar olarak gösterilebilir; derived, bu sayfadaki bir kuralla diğer alanlardan hesaplanmıştır; asserted, arkasında hiçbir şey olmayan bir değerdir — kimsenin kanıtlamadığı bir alan böyle saklanır.
Dördüncü bir düzey yoktur: bir değer ya bir belgeye dayanır, ya öyle dayanan değerlerden hesaplanmıştır, ya da arkasında hiçbir şey yoktur.
Üç eğri, sayılarla:
| Neyin eskidiği | Tam olarak geçerli olduğu süre | Yarıya düştüğü süre | Asla altına inmez |
|---|---|---|---|
| Bir denetim veya inceleme | 12 ay | 18 ay | 5% |
| Süregelen uygulama hakkında bir iddia | 12 ay | 60 ay | 15% |
| Bir şeffaflık verisi | 12 ay | 60 ay | 35% |
Üç eğri farklıdır, çünkü tanımladıkları şeyler farklı hızlarda değişir. Bir denetçinin anlık görüntüsü en hızlı bayatlar: yalnızca bir yılın bir haftasında doğru olanı söyler. Süregelen uygulama hakkındaki bir iddia ile bir şeffaflık verisi ise kalıcı bir durumu tanımlar, bu yüzden değerlerini çok daha uzun süre korurlar — ve bir şeffaflık raporu üçü arasında en yüksek tabanı korur, çünkü bir zamanlar sayılarını yayımlamış bir şirket, sessiz geçen bir yılın geri alamayacağı bir şeyi kendisi hakkında zaten kanıtlamıştır.
Tamamen farklı bir biçim, çünkü farklı türde bir soruyu yanıtlar: özelliklerin toplandığı ve eksik olanın bir kayıp sayıldığı toplamalı ağırlıklı bir toplam. On üç alan, on ikisi ağırlık taşır, aralarında 34 puan. On üçüncüsü yıllık fiyattır: okuyucu istediği için yayımlanır, hiçbir ağırlık taşımaz, çünkü on iki ayı peşin ödemenin indirimi hizmetin bir özelliği değil, ticari bir koşuldur.
| Alan | Ağırlık | Yeniden denetlenir |
|---|---|---|
| Aktif sansür altında çalışır | 5 | 30 gün |
| İstemcisi olan platformlar | 4 | 30 gün |
| Çıkış konumları sunulan ülkeler | 4 | 90 gün |
| Aylık fiyat USD, aydan aya plan, tahsil edilen şekliyle | 3 | 30 gün |
| Kullanılabilir ücretsiz kademe | 3 | 30 gün |
| Sunulan protokoller | 3 | 30 gün |
| Kill switch kapsamı | 3 | 30 gün |
| Eşzamanlı bağlantılar | 2 | 30 gün |
| Kullanmaya başlama zorluğu | 2 | 30 gün |
| P2P'ye izin veriliyor | 2 | 30 gün |
| Büyük yayın hizmetlerine erişilebilir | 2 | 30 gün |
| Bölünmüş tünelleme mevcut | 1 | 30 gün |
| Yıllık plan fiyatı USD, tahsil edilen şekliyle ilk dönem | — | 30 gün |
Sonuç, değeri olan alanlar üzerinden ortalanır; bu yüzden bir sağlayıcı, kimsenin kimse için doldurmadığı bir alan yüzünden cezalandırılmaz. Sansürü aşma en fazla ağırlığı taşır, çünkü hizmetin en çok önem taşıdığı yerlerde çalışıp çalışmayacağına karar veren tek kullanılabilirlik özelliğidir; split tunneling ise en az ağırlığı taşır, çünkü yokluğu yalnızca bir rahatsızlıktır.
Fiyat, güvenlik ekseninde değil burada devreye girer, ve yalnızca aylık ücret. Yıllık ücretler sitenin her yerinde gösterilir ama puanlanmaz: on iki ayı peşin taahhüt etmenin indirimi, hizmetin bir özelliği değil, ticari bir koşuldur.
%50 eksiksizlikteki bir puan, %95'teki aynı puandan farklı bir iddiadır; bu yüzden eksiksizlik puanla birlikte gelir ve ikisi birlikte gösterilir. Eksiksizlik, hiç kanıtlanmış alanların payıdır.
Bunun yanında her kayıt temel boşluklar taşır: neyin kanıtlanmadığını, bunu neyin çözebileceğini ve sayıyı sınırlayan kayıtları anlatan analist metni. Okuyucunun bir güvence raporunun Type II değil Type I olduğunu, ya da bir filo ülkesinin bir yönlendirme notundan çıkarıldığını öğrendiği yer burasıdır.
Uzun bir boşluk listesiyle birlikte yüksek bir puan bir çelişki değildir: puan kanıtın neyi desteklediğini söyler, boşluklar ise ne kadar kanıt olduğunu söyler. Hiçbir yarı, diğerinin daha iyi görünmesi için gizlenmez.
Bir sağlayıcı hiçbir şey yayımlamadığında, alan bilinmiyor olarak kalır. Asla tahmin edilmez, bir rakipten çıkarılmaz, sessizce bir pazarlama sayısıyla doldurulmaz ve hiçbir yönde tahmin edilmez — bunun puana mal olduğu yer bilgisizlik kanalıdır, ve bir şeye mal olması gereken dürüst yer de burasıdır. Bir tabloda kanıtlanmamış bir değer — olarak gösterilir ve her iki yönde de en sona sıralanır: filo büyüklüğüne göre artan sıralama, bize söylemeyi reddettiği için bir sağlayıcıyı ödüllendirmez.
İki eksen, iki taban, ve bunlar kasıtlı olarak farklı yüksekliklere ayarlanmıştır. Güvenlikte model, esasa ilişkin alanların %30'inden azı hiç kanıtlanmamışsa ya da — %50 altında kanıtlanmışlık ve 35 puanın altında olduğunda — baskın risk kendi ignorance'ımız ise, bir hüküm vermekten kaçınır. Hiçbiri sağlayıcı hakkında bir ifade değildir: yalnızca araştırmanın onu yerleştirecek kadar ileri gitmediğini söyler, ve 77 kayıttan 9 tanesi bu durumda.
Kullanılabilirlikte taban daha yüksektir — puanın %30 değil, mevcut ağırlığın %50 kadarına dayanması gerekir — ve daha yüksektir, çünkü iki eksen bir boşluğu farklı şekilde ücretlendirir. Güvenlik, bilgisizliği puanın içinde fiyatlandırır, bu yüzden zayıf bir kayıt zaten kendi maliyetini taşır.
Kullanılabilirlikte böyle bir kanal yoktur: kanıtlanmamış bir özellik yalnızca ortalamadan çıkar, bu yüzden bir taban olmadan iki bilinen alanı olan bir kayıt, ölçülmüş biri gibi görünürdü. 77 kayıttan 15 tanesi usability.state: no_data yayımlar ve taşıdıkları sayı bir ölçüm değil, bir alt sınırdır — sanki ikisi karşılaştırılabilirmiş gibi asla known olan birinin yanında yazdırılmaz.
Sonradan keşfedilmek yerine modelle birlikte yayımlanan altı sınırlama. Bunlar methodology.json'un bir parçasıdır ve ürettiği her puanla birlikte gelir; bu yüzden burada özetlenmeden, kelimesi kelimesine yazdırılır:
expires_at değerini okuyun.key_gaps alanıdır.V15_assurance_strength, unknown değerini taşır ve denetlenen her sağlayıcıya kendi raporunun söylediği yerine piyasa normuna göre puan verilir. Alan, arkasındaki titizliği değil, beyan edilen gücü kaydeder — bir denetim çalışması makul güvence görüşü taşıyabilir ve yine de dar kapsamlı olabilir; V03_audit_subject ve V04_scope_servers bunun içindir.Editöryel bir düzeltme yoktur. Bu yöntemin önceki bir sürümü, bir editörün yayımlanmış bir gerekçeyle hesaplanan bir puanı en fazla iki puan hareket ettirmesine izin veriyordu; bu kaldırıldı, çünkü artık her sağlayıcı sayfasındaki döküm aritmetiğin tamamını gösteriyor ve bu aritmetikten çıkmayan bir sayı, dökümü bir yalan hâline getirirdi.
Editöryel takdirin yaşayabileceği tek bir yer vardır, ve o da puan değildir: ayrı tutulan ve asla karıştırılmayan manuel bir kalite düzeyi. Bir editör bir kaydın yanlış olduğunu düşünürse, izlenecek yol herhangi bir okuyucuya açık olan yoldur — kanıtı değiştirin, ve modelin yeniden hesaplamasına izin verin.
Puanlar her içe aktarmada ve talep üzerine yeniden hesaplanır. Model sürümü tüm kayıtlara aynı anda uygulandığından, ona yapılan bir değişiklik tek bir satırı değil, sicilin tamamını hareket ettirir — olması gereken de budur ve her değişikliğin herkese açık olarak kaydedilmesinin nedeni de budur. Bir sağlayıcının güncellendi tarihi yalnızca esaslı bir şey değiştiğinde hareket eder; hiçbir şeyi değiştirmeyen bir yeniden içe aktarma her tarihi olduğu gibi bırakır, çünkü 77 sayfayı bugünün tarihiyle damgalamak, hak etmediğimiz bir tazelik sinyali olurdu.
Satın alabileceği şey, biri bir bağlantı üzerinden abone olduğunda alınan bir komisyon, ve — eğer ücretli yerleşim bir gün satılırsa — sıralamanın üzerinde, sıranın dışında, kendine ait etiketli bir blok. İkisi de bugün etkin değildir — hiçbir bağlantı bir ortaklık parametresi taşımaz ve hiçbir yerleşim satılmamıştır — ve ikisi de göründükleri yerde ve ortaklık açıklamasında belirtilir. Sıralama kanıttan hesaplandığı ve kanıt onun yanında yayımlandığı için, daha iyi bir konum satın almak yayımlanan kaydı değiştirmeyi gerektirirdi — ki bu da tam olarak herkesin denetleyebileceği şeydir.
productKimsenin kanıtlamadığı şeyin bedeli
min(params.cap, params.slope x (1 - known_share)) x (1 - params.posture_relief x tutum); tutum = tutum: girdilerinin toplamı, 1.0 ile sınırlandırılmış olarak
R07_silencesessizlikthreshold4 alan okuyor
Maruziyetle orantılı sessizlik
yalnızca P01 ve P03 {none_known, unknown} içinde ve P05 {none, unknown, fresh_no_numbers} içindeyken devreye girer; risk = min(params.cap, params.per_year x years operating x weight), ağırlık, maruziyet aralığına göre params.weight içinden alınır. Sessizlik biriktiği için yıla göre fiyatlandırılır: kayıtta hiçbir şey bulunmayan on beş yıl, beş yılla aynı iddia değildir ve sabit bir aralık öyle olduğunu söylüyordu. Başlangıç yılı bilinmeyen bir sağlayıcıya, R08 uyarınca burada ücret uygulanmaz
R08_unknown_pricing6 kanalconstraintŞemadaki her risk ve taban tablosu
Aritmetik kural olarak masumiyet karinesi
yalnızca sağlayıcıya karşı olan bulgular için geçerlidir ve yayımlanmış bir kanal önceliği olarak yazılmış bir bilinmeyen için asla geçerli değildir (C01 = prior_0.550); bu bir temel orandır, bulgu değildir. Aksi halde risk(unknown) <= 0.50 x o alandaki en kötü doğrulanmış değerin risk'i olur ve ona asla eşit olmaz; yakalanmış bir yalan her zaman boş bir kayıttan daha üstündür; yalan ekseninde ve her olay alanında risk(unknown) = 0.000 doğrudan uygulanır. Boş bir kaydın tam bedeli, bize ait olarak etiketlendiği cehalet durumunda bir kez ödenir
R09_channel_combination8 kanalnoisy_or8 alan okuyor
Sekiz kanalın tek sayıya dönüşmesi
puan = 100 x sekiz kanal üzerinden product(1 - min(0,90, r_c)); genel bir taban veya tavan yoktur; S18 dokuzuncu kanal olarak değil, bütünlük içinde yer alır
R10_disclosure_decayifşadecaymax4 alan okuyor
Olumsuz olaylar da yaşlanır
açıklama = P01, P02 ve P03 arasında, bozulma sonrasındaki o alana özgü fiyatın max'ı — bir rota en kötü hâliyle alınır, hiçbir zaman birleştirilmez; çünkü tek bir el koymanın üç kodlaması tek bir el koymadır; aynı olay için P12_case_history girdisinin tarihine decay(plateau=12, half_life=60, floor=0,35) uygulanır ve eşleştirme girdinin ne olduğunu söylediğine göre yapılır — P01 bir el koymaya, P03 bir court_order, subpoena veya mandate_order'a — ve nasıl sonuçlandığına göre asla yapılmaz; çünkü hiçbir şey üretmeyen bir olay da bulguyu tarihlendiren olay olmaya devam eder; P02 sonuç üzerinden eşleştirilir, çünkü orada gerçek olan sonuçtur; böyle bir girdisi olmayan olumsuz bir olay bozulmamış değerini korur; uygulama eğrisinin şekli, uygulama kanıtı için 0,15'e karşılık burada 0,35 olan daha yüksek tabanla kullanılır, çünkü kanıtlanmış bir açıklama kayıtlarda kalıcı olarak tutulur
R11_evidence_voidingsaklamaifşabütünlükgate1 alan okuyor
Kontrol değişikliği devredilenleri sıfırlar
M16'dan önce tarihlenen kanıt mevcut sahibe bağlanmaz: denetimler seri bonusunu kaybeder, açıklama olayları R10 tabanına düşer, kardeş bulgular ise hiç aktarılmaz
R12_report_plausibilitybütünlükbilgisizlikthreshold5 alan okuyor
Şeffaflık raporu içeriği kadar değerlidir
P09 = 0, P08 params.min_requests değerinin üzerinde ve kayıt kişi başına bir kaydın açıklanmak üzere mevcut olduğunu kanıtlıyorsa P06 = zero_implausible olur — saklama şiddeti params.min_retention düzeyinde veya üzerindedir. Bunu yalnızca kullanıcı ölçeğine göre değerlendirmek, amacının tersini cezalandırdı: sayılarını yayımlayan ve hiçbir talep verilmediğini bildiren sağlayıcıya yalancı denirken hiçbir şey yayımlamayan hiçbir bedel ödemedi. Verilen sıfır, yalnızca kendi kaydı verilecek bir şey tuttuğunu söyleyen bir sağlayıcı karşısında inanılmazdır; kayıt yok sonucunun kanıtlandığı durumda beklenen yanıt budur ve model bir kanalda itibar ettiğini diğerinde sorgulamamalıdır. Devreye girdiğinde P05'ten gelen duruş rahatlaması 0,00 olarak ayarlanır ve bütünlük params.route rotasını kazanır
R13_derived_jurisdictionyargı yetkisinoisy_ormax6 alan okuyor
Yükümlülük alanları değerlendirilmez, türetilir
C10 = M06 in MANDATE_COUNTRIES; C11 = M11 in MANDATE_COUNTRIES; M11 = M06 olduğunda ikisi tek bir koşuldur ve yargı yetkisi max(C10, C11, P11)'ı alır, hiçbir zaman noisy-OR uygulanmaz; filo maruziyeti, şirketinkinden ayrı bir rota olan max(C09b, P04) olarak hesaba katılır; elle yazılmış bir geçersiz kılma kendi kaynağını gerektirir ve bu şekilde yayımlanır
R14_disclosure_rateifşathreshold2 alan okuyor
Veri üreten taleplerin oranı
P08 params.min_requests değerine ulaştığında oran = P09 / P08; risk = params.weight x oran; oranla birlikte yayımlanır, çünkü yargı yetkileri arası karşılaştırılabilirlik düşüktür — bir ülkede talep mahkeme kararı, diğerinde mektup anlamına gelir
R15_free_tier_flagkanal yokflag2 alan okuyor
Ücretsiz katmanların bedeli bir şekilde ödenir
params içinde adlandırılan her alan params'ın kendisi için listelediği değerlerden birini taşıyorsa S22 = işaretli, aksi halde yoktur; her iki eksende de puanı değiştirmez — her iki girdi de ait oldukları yerde zaten fiyatlandırılmıştır ve bunların birleşimini fiyatlandırmak, iki eksenin reddetmek üzere var olduğu ortalamayı almak olur
R16_opaque_at_mass_scalebütünlükthreshold2 alan okuyor
Kapalılık, kapsadığı kişi sayısı arttıkça daha kötüdür
X03 = opak ve M08 = toplu -> opak için X03'ün kendi fiyatı yerine params.at_mass_scale
R17_location_noticeyargı yetkisiderivation3 alan okuyor
Bir yükümlülük ülkesi sunulduğunda, gerçekte orada ne var?
C09 = MANDATE_COUNTRIES içinde görünen U02 ülkeleri; türetilir ve hiçbir zaman elle doldurulmaz. C09 tek başına hiçbir puan getirmez ve eksiksizlik paydasının dışında kalır: böyle bir ülkede bir çıkış sunulması tek başına hiçbir şey ifade etmez ve okuyucunun seçtiği konuma karşı yayımlanır. Puanlanan C09b'dir; C09 boş değilken sorulmaya değer tek soru — donanımın gerçekten bu yükümlülüğün altında bulunup bulunmadığı veya konumun, donanım başka yerdeyken sanal olup olmadığı. C09 boşsa C09b n/a'dır ve P04 ile max üzerinden birleşir: bir yükümlülük altındaki mevcudiyet tek bir durumdur, iki kez kodlanır
R18_audit_gatesaklamagatemax2 alan okuyor
Bir denetimin aldığı saklama dalı
V11 saklamayı belirtir -> params.credence_stated'da belirtilen dal; V01 = yes_* ve V11 sessizse -> params.credence_silent x subject_factor'da sessiz dal (konu kanıtlanmış değilse params.subject_default) ve hiçbir dal params.credence_max'ı aşmaz; aksi hâlde hiçbir belge kanıtı yoktur; seçilen daldaki şiddet = max(C01_linkable_retention, V11_audit_findings), hiçbir zaman noisy-OR değil — iki kez kodlanan tek bir durum bileşik hâle gelmemelidir (R04'te olduğu gibi)
R19_audit_decaysaklamadecay1 alan okuyor
Yapılandırma değişip durur
decay(params.decay) — ay cinsinden sürekli, düğüm yok
R20_practice_agessaklamadecaymax1 alan okuyor
Her belgelenmiş olay kendi tarihini taşır
P12'deki outcome = nothing_produced olan her olay, kendi tarihindeki decay(practice, kendi tarihi) değerine katkıda bulunur; alanın practice değeri, olaylarının toplamı değil, bunlar üzerindeki max değeridir; bu, birkaç el koymayı tek bir olayda birleştiren P01 ve P03'ün tek tarihli yorumunun yerini alır
R21_circumvention_decayusabilitydecay1 alan okuyor
Engelleme kanıttan hızlı ilerler
U06, alanın kendi as-of tarihi 12 aydan daha eski olduğunda puanları beyan edildiği gibi kanıtlanmış kabul eder; kayıt zaten her alanı tarihlendirir, dolayısıyla yaş değere yazılmak yerine oradan okunur; decay içeren tek kullanılabilirlik alanıdır, çünkü doğruluğu sona eren tek alan budur
R22_completenessbilgisizlikconstraintHer alanın eksiksizlik sütunu
Paydanın saydığı şey
completeness = yes olan içeriksel alanlar; n/a paydaya girmez, unknown paydada kalır; kimlik alanları, model çıktıları, yinelenen etiketler ve kullanılabilirlik alanlarının tümü dışarıdadır — kullanılabilirlik kapsamı S16 olarak ayrı raporlanır
R23_credence_defaultssaklamaconstraintŞemadaki her katsayı tablosu
Okunmamış kanıt hesaba katılmaz
R08'in aynasıdır ve kasıtlı olarak onunla simetrik değildir. katsayı(bilinmiyor) <= o alandaki en zayıf gerçek kanıt düzeyi ve açıklamayı reddetmeyi kodlayan herhangi bir değerin (V06 adsız, V02 yok) kesinlikle üzerindedir. Kimsenin okumadığı bir denetime olduğu gibi itibar etmek, satın alınmış bir raporun puana aklanmasının yoludur; kendi bilgisizliğimizi sağlayıcının reddiymiş gibi değerlendirmek ise bunun tersindeki hatadır. Doğrulanmamış kanıta itibar etmemek bir suçlama değildir — sağlayıcı bulguya değil, önceki değere, piyasa taban oranına geri döner
R24_retention_compositionsaklamaproductmax14 alan okuyor
Saklama alt kanallarının tek sayıya dönüşmesi
Dört alt kanal ortalaması alınmaz. credence.paper = R18'in seçtiği dal (belirtilen: credence_stated; sessiz: credence_silent x subject_factor) x o dalın kendi .conf değerinin source_credence'ı x audit_decay (R19) x publication_factor x engagement_factor (firma x standart x güvence gücü) x belirtilen daldaki scope_factor x R11 seriyi geçerli bıraktığında series_bonus; credence_max ile sınırlandırılır. credence.practice = tarihli nothing_produced olaylarının practice_credence x practice_decay (R20) değerleri arasındaki max'tır. credence = min(credence_max, max(paper, practice) + secondary_weight x min(paper, practice)) — iki kanıt türü tek türden daha güçlüdür ve hiçbir kanıt miktarı kesinliğe ulaşmaz. severity = R18 uyarınca max(C01, V11) veya ikisi de kanıtlanmamışsa prior. retention = credence x severity + (1 - credence) x max(severity, prior): piyasa temel oranına gerileme yalnızca yukarı yönlüdür, bu nedenle aleyhe kabul yüz değerini korur. retention.floor = max(retention, C12 floor:) son olarak, çünkü tünele ilişkin kapsamı olan bir denetim uygulamadaki bir olguyu temize çıkaramaz
R25_integrity_compositionbütünlüknoisy_or14 alan okuyor
Bütünlük yollarının tek sayıya dönüşmesi
bütünlük = devreye giren rotalar üzerinden 1 - product(1 - route): yalan ekseni (R04), sahip şeffaflığı (kitlesel ölçekte R16), sahip grubunun geçmişi, monetizasyon ile grubun sattıklarının birleşimi (R03), olay yönetimi, mutlak iddialar, ömür boyu baskısı, satın alınmış kapsam (R01), inandırıcı olmayan rapor rotası (R12), mağaza beyanı boşluğu (R28), disclosure_rate_weight x rate (R14) ve küme bulaşması (R02, S18). Rotalar ayrı bulgular oldukları için birleşik etki yaratır; aynı koşulun iki kez kodlandığı çiftler kendi kuralları içinde max ile zaten birleştirilmiştir, bu yüzden burada yeniden birleştirilmez
R26_hygiene_compositionhijyencapped_sum12 alan okuyor
Hijyen alanlarının tek sayıya dönüşmesi
hijyen = min(params.cap, buraya yönlendirilen her alanın risk fiyatlarının toplamı). Güvenlik eksenindeki tek toplamsal kanal: bunlar bir sonuca karar veren tek bir bulgu değil, birikerek artan küçük ve bağımsız sızıntılardır; cap de küçük toplamaların bir ifşa gibi okunmasını engeller. Bir liste alanı, en ucuz üyesi kadar değerlidir — bir anonim ödeme yöntemi yeterlidir — ve hiçbir üyenin fiyatı yoksa kendi bilinmiyor fiyatına döner. C13_weakest_protocol burada (R32) türetilmiş bir toplanandır: canlı bir eski taşıma, geçerken toplanan bir şey daha demektir; sonuca karar veren bir bulgu değildir
R27_report_concealmentbütünlükmax2 alan okuyor
Talepleri garanti eden ölçekte ifşa hakkındaki sessizlik
orta veya kitlesel ölçekteki bir sağlayıcı kesinlikle talepler alır; bu nedenle sayıların kanıtlanmış yokluğu araştırmamızdaki bir boşluk değil, sağlayıcı hakkında bir olgudur: P05 = none charges 0.150, fresh_no_numbers 0.100 — önemli olan tek sayıyı atlayan yayımlanmış bir rapor bunun en keskin biçimidir — ve stale 0.050. Yalnızca kanıtlanmış bir değerde devreye girer; unknown burada hiçbir ücret getirmez ve kendi bakmadığımız şeylerin ait olduğu bilgisizlikte fiyatlandırılır. R12'nin aynasıdır: biri inanılmaz bir sayıyı, bu ise herhangi bir sayının yokluğunu fiyatlandırır
R28_store_declaration_gapbütünlükmax1 alan okuyor
Mağaza beyanı ile sağlayıcının mağazaya verdiği politika arasındaki çelişki
zorunlu mağaza formu, sağlayıcının uygulaması hakkındaki kendi imzalı beyanıdır; bu nedenle formun beyan ettiği her şey, sağlayıcının mağazayı yönlendirdiği politikada da yer almalıdır. Yalnızca tek yönde okunur: uygulama hizmetin bir alt kümesidir; dolayısıyla politikadan daha azını beyan eden bir form kapsamla açıklanır ve ücret getirmez, oysa formun beyan ettiği ve politikanın hiç anmadığı bir kategorinin böyle bir mazereti yoktur. Puan, açıklanmayan kategorinin ortaya koyduğu şeye göre verilir: bir tanımlayıcı veya tanılama 0.150, davranış — uygulama etkinliği, yüklü uygulamalar, konum veya herhangi bir reklam amacı — 0.300, kayıt tutmama iddiasının reddettiği tam da bu toplamanın beyanı 0.450 ücret getirir. İki mağaza toplamayı farklı tanımlar; bu nedenle Apple formu ile Google formu arasındaki fark tek başına bir bulgu değildir. Mağazalar arasındaki en kötü boşluk geçerlidir
R29_session_statesaklamaconstraint2 alan okuyor
Bağlantı, bağlantının kaydı değildir
C01, oturum sona erdikten sonra bir sağlayıcının hâlâ bir kişiyle ilişkilendirebildiği şeyleri derecelendirir. Yalnızca tünel açıkken var olan durum — sunucunun paketleri yönlendirmesi ve cihaz sınırını uygulaması için tutulan bir kaynak IP, hesap kimliği ve bağlantı zaman damgası — bağlantının kendisidir, onun kaydı değil; bunu saklama olarak fiyatlandırmak, bir sağlayıcıyı VPN'in nasıl çalıştığını açıkladığı için ücretlendirir. Daha da kötüsü, hiçbir şey söylemekten daha fazla ücretlendirir: bu alandaki boşluk piyasa önceliği olarak 0.550 ve source_ip 0.750'dir; dolayısıyla on beş dakikalık arabelleğin dürüstçe açıklanması sessizlikten daha pahalıya mal olur. İstisna dardır ve öyle olmak zorundadır; yoksa her sağlayıcının yazdığı cümleye dönüşür. Yalnızca sağlayıcının kendi belgesinin oturumun sonuna bağlı ve 24 saatten uzun olmayan bir silme süresi belirttiği yerde uygulanır — bir hizmetin ihtiyaç duyduğu her kapatma işleminden uzun, bir kaydın tuttuğu her döngüden kısa olan en kısa takvim birimi. Beyan edilmemiş süre saklamadır. Bir takvim dönemi — 7 gün, 30 gün, bir döngü süresi — nasıl ifade edilirse edilsin saklamadır; çünkü tasarım gereği oturumu aşar. Sağlayıcının süre geçtikten sonra tuttuğu her şey yine kendi düzeyine göre değerlidir ve istisna yalnızca sağlayıcının iddiasını okur: bir denetim verinin mevcut olduğunu bulduğunda R18 bulguyu zaten iddianın üzerine çıkarır
R30_usability_foundationusabilitythresholdHer kullanılabilirlik alanının ağırlık sütunu
Kullanılabilirlik puanının tablonun ne kadarına dayandığı
kullanılabilirlik toplamı, okuyabildiği ağırlığa bölünür: hiç kimsenin kanıtlamadığı bir alan paydada kalır ve puanı sıfıra çekmez; çünkü kapsama kalite değildir. Bunun bedeli, puanın kendi temelini görememesidir — en ağır alanı okunmamış bir sütun, doldurulmuş bir sütunla aynı sayı biçimini üretir. S21 = okunan ağırlık / canlı ağırlık; burada canlı, n/a olanlar çıkarıldıktan sonra ağırlıklı her kullanılabilirlik alanıdır. usability_foundation_floor altındaki S20 = no_data: tablonun yarısından azına dayanan bir sayı, hangi alanların doldurulduğunu değil, ürünün ne yaptığını belirtir. Eşik güvenliktekinden daha katıdır; çünkü bu eksenin bilgisizlik kanalı yoktur — güvenlik puanın içindeki boşluk için ücret alır, kullanılabilirlik ise bunun için hiçbir yerde ücret almaz. Güvenlik puanında olduğu gibi puan no_data altında da yayımlanır; yayımlanmayan bir sayı kontrol edilemez.
R32_protocol_floorhijyenderivationmax1 alan okuyor
Hâlâ sunulan en zayıf taşıma
C13_weakest_protocol, C13'ün kendi tablosundaki risk sıralamasına göre U07_protocols içindeki en kötü protokoldür; yükleme sırasında türetilir ve hiçbir zaman elle doldurulmaz — R17'nin U02'den C09'u türetmesiyle aynı biçimdedir. R26_hygiene_composition'a bir toplanan daha olarak girer ve oradaki her terim gibi hijyen kanalı eşiğine tabidir. Yalnızca modern taşımalar sunan bir filoda alan not_applicable olur, bir ad olmaz: 0.000'ın üzerinde protokol fiyatlandırması yoksa işaret edilecek zayıf bir teklif de yoktur; iyi olanlar arasından eşitlik bozma sırasıyla en az kötü olanı seçmek, kimsenin yapmadığı bir bulguyu yayımlamak olur. Alan, PPTP ve L2TP'nin hâlâ canlı olduğu ucuz segment için taşınır. proprietary fiyatı, bir satıcının kendi protokolünü yazmasına yönelik bir ücret değildir — o protokolün zayıf olup olmadığını söyleyememenin fiyatıdır; bu nedenle vendor_open hiçbir ücrete mal olmaz: kaynağı yayımlanmış ve bağımsız olarak incelenmiş bir satıcı taşıması değerlendirilebilir ve değerlendirmede bunun zayıf olduğu söylenmez. Yine de ücretlendirmek, çözülmüş bir bilgisizliği fiyatlandırır ve kaynağı yayımlamayı onu saklamaktan daha maliyetli hâle getirir.
R33_exit_conductmimarimax2 alan okuyor
Çıkışın taşıdığı trafiğe yaptığı
mimari = max(price of C00_architecture, price of C14_traffic_modification). Çıkışı kimin işlettiği ve çıkışın içinden geçenlere ne yaptığı tek bir sorudur — tünelin uzak ucunun sizin tarafınızda olup olmadığı — ve tek bir kötü yanıt buna karar verir; bu nedenle kanal iki fiyatı toplamak yerine daha kötüsünü alır: yabancılar tarafından işletilen ve başlıklarınızı da yeniden yazan bir çıkış, bunlardan herhangi birinden iki kat kötü değildir, o kadar kötüdür. headers_injected (0.300), içinden geçen trafiğe eklenen bir oturum tanımlayıcısı veya başka bir başlıktır ve her hedefe kullanıcı için bir ad verir; content_injected (0.500), sayfalara yerleştirilen betikler, reklamlar veya diğer materyallerdir; tls_interception (0.750), çıkışın şifreli oturumları açmasıdır. none, bunu belirten bir belgeden okunmalıdır; bunu yapan belge sayısı azdır, bu yüzden unknown, C00 ile aynı piyasa önceliğini taşır ve geri kalanını bilgisizlik kanalı karşılar.
verdict: no_data bunu açıkça belirtir. Her iki puanı okumadan önce her iki eksende de completeness değerini okuyun.M14_inclusion_basis, her birinin neden burada olduğuna ilişkin tek kayıttır. Katalogda yer almayan bir sağlayıcı, sağlayıcı hakkında kanıt olmadan önce bu elle seçimin kanıtıdır ve buradaki hiçbir şeyin ne ölçüde eksik kaldığını tahmin etme amacı yoktur.Dört
Hiçbir kanal 0.9'ı geçemez, çünkü kesinlik belgeleri okuyarak elde edilemez. Ve bir bulgu, hiçbir denetimin ulaşamayacağı bir yerden bir kanalı aşağıdan sabitler.
Saklama kanalı
Kusursuz bir rapor bardağı boşaltır. İçinde kalan şey, sağlayıcının elinde tuttuğu kimliktir:
Bir rapor yalnızca yazılı olanı söyleyebilir. Bir kimlik ise, bir şey yazılı olsun ya da olmasın kullanıcının adlandırılabilir olduğunu söyler; bu yüzden ikisi aynı sorunun yanıtı değildir — ve model, birincisinin ikincisini belirlemesine izin vermez.
Beş
Bu modele hiçbir şey olduğu gibi girmez. Raporun ne dediği ile bunu kimin söylediği iki ayrı basamaktır ve bunlar çarpılır.
Raporun dediğisaklama: credence_silent'a karşı credence_stated
Bunu kim söylüyorsource_credence'ın dört düzeyi
İkisi çarpılır. Bunu kimin söylediğinin dört düzeyi ve her birinin ne olduğu:
Bir
Burada, sicilin çizdiği aynı oranla çizilmişlerdir, çünkü asıl iddia o orandadır: ikisinden biri sırayı belirler, diğeri ise karşılığında neyi elde ettiğinizi anlatır.
Güvenlik 8 soru sorar
67 güvenlik alanının her biri bunlardan en az birini besler. Sekiz yanıt çarpılır.
Sırayı belirler
Karşılığında neyi elde ettiğinizi anlatır
Kullanılabilirlik 12 alanı tartar
Ağırlıklar toplamda 34 eder ve 12 tanesi ağırlıklı bir ortalama olarak toplanır. On üçüncüsü sıfır ağırlıkla taşınır; yani yayımlanır ama hiçbir şey tarafından fiyatlandırılmaz.
Üç
Çarpmanın sağladığı şey budur. Yedi kanal kusursuz olabilir ve sekizinci yine de kaydı belirler — bir sağlayıcının başka her yerde düzgün olarak diskalifiye eden bir gerçeği ortalamayla silememesinin nedeni de budur. Kontrolü hareket ettirin.
Her biri 0.05 tutan yedi kanal, ve biri — kırmızı olan — okuyucunun hareket ettirdiği
Hiçbir şey toplanmadı, hiçbir şey ortalanmadı. Yedi düzgün kanal, o kontrolün en uç noktasında bile hâlâ düzgündür — ve sekizincinin aldığını geri satın alamazlar; sekizinin çarpılmasının bütün nedeni de budur.
Sekiz
Yelpazedeki her çizgi, hangi kanala yanıt verdiğini belirten bir kuraldır. Hepsi bu sayfanın devamında tam olarak yazılıdır, çünkü okuyucunun göremediği bir kural, güvene dayanarak kabul edilmiş bir kuraldır.
Soldaki yelpaze, okuduğu alanlara uzanan her kuraldır; sağdaki ise yanıt verdiği kanalı belirten her kuraldır. 32 kuralın tamamı bu sayfanın devamında tam olarak yazılıdır, çünkü okuyucunun göremediği bir kural, güvene dayanarak kabul edilmiş bir kuraldır. Makine akıllı olduğu için büyük değildir — sorular büyük olduğu için büyüktür ve bir paragrafta özetlenebilecek kadar küçük bir model, yanlış şeyi özetliyor demektir.
İki
Hiçbir şey toplanmaz. Her kanal, kendinden öncekinin bıraktığı payı korur; bu yüzden sekizi bir sütun değil, bir zincir oluşturur.
score = 100 × ∏ (1 − channel)
Biçim bir noisy-OR over independent risk channels. Burada Proton VPN kaydı üzerinde işlenmiştir — kayıtlı en yüksek puan; aşağıdaki sayılar bu vesile için yazılmış bir örnek değil, o kaydın kendi sayılarıdır.
3 kanal hiçbir şey bulmaz ve hiçbir şey almaz. Diğer 5 kanal ise her biri küçük bir pay alır ve bu paylar birbirini götürmek yerine birikir: yüzden geriye kalan 70'dur.
Yedi
Boşluğu fiyatlandıran tek kanal. Aynı zamanda bu sitede bir sağlayıcının kendi başına hareket ettirebildiği tek şey — ve bunu hareket ettirmenin yolu sormak değil, yayımlamaktır.
0.00kayda yüklendi
min(0.6, 0.9 × (1 − established)) × (1 − 0.4 × posture)
Bilmemek tarafsız değildir. Hakkında hiçbir şeyin kanıtlanmadığı bir sağlayıcı gerçek bir risk taşır ve model bunu kibarca boş bırakmak yerine fiyatlandırır — bu da bunu, sitedeki bir sağlayıcının kendi başına hareket ettirebildiği tek sayı yapar. Diğer her kanal bir şeyin bulunmasını bekler; bu ise bir şeyin yayımlanmasını bekler.
Altı
Üç tür kanıt, üç eğri; her biri bir platoda düz kalır, ardından bir daha çıkmayacağı bir tabana düşer. Bir denetim, bir tarihte gerçekleşen bir şeydir; bir sağlayıcının içinde bulunduğu bir durum değil.
Kenar boyunca yukarı: kanıtın hâlâ taşıdığı ağırlık — üstte tam, altta kendi tabanı
bugün1 yıl23456 yıl
Her eğri bir platoda düz kalır, sonra bir daha çıkmayacağı bir tabana düşer — kanıt bayatlar, yalana dönüşmez. Noktalar, tarihli bir denetim yayımlayan 30 kayıttır; her biri kendi yaşında denetim eğrisine yerleştirilmiştir. Bir denetim, bir sağlayıcının içinde bulunduğu bir durum değildir; bir tarihte gerçekleşen bir şeydir.
Dokuz
Buradaki her VPN, yüz üzerinden tek bir tam sayı alır ve model bu ölçeği önceden yayımladığı 4 tabanda böler. Bir tabanı geçince kelime değişir. Başka hiçbir şey bunu değiştirmez — ne daha güzel bir logo, ne bir indirim, ne bir basın bülteni.
Aralıklar sabit dilimlerdir, tek bir kayıt bile puanlanmadan önce belirlenmiştir ve her geçişi kendiniz denetleyebilesiniz diye yayımlanır — sayı hesaplanır, kelime ondan okunur ve ikisi de satın alınamaz.