Takas Dosyaları
Bu yalnızca DOS'tan yapılabilir ve asla Windows içinden yapılamaz. Başlatırken, Windows takas dosyasını özel erişimle açar ve sistemin çökmesini önlemek için başka hiçbir uygulamanın dosyaya erişmesine izin vermez.
Windows altında çalışan ve takas dosyasını sildiğini iddia eden hiçbir silme yazılımına güvenmeyin. Bu tür programların çoğu, çok büyük miktarda bellek ayırarak ve işletim sisteminin bunu diske yazacağını umarak ve böylece -umarım- takas dosyasının üzerine yazacağını umarak bunu yapmaya çalışır; bu kabul edilemez derecede güvensizdir.
Bununla birlikte, iyi yazılmış bazı disk silme dosyaları, takas dosyasını silmeden önce DOS'a "açıldıkları" için takas dosyasını iyi bir şekilde silerler. Örnekler, Access Data Corporation'ın Secure Clean ve diğerlerini içerir.
Hiçbir silme programına tamamen güvenilemeyeceği için, güvenlik bilincine sahip bir kullanıcının bu tür iki farklı programı, tercihen DOS'tan biri olmak üzere art arda kullanması tavsiye edilir.
Takas dosyasını DOS'tan silme olasılıkları şunları içerir:
1. PGP'nin DOS sürümünü kullanarak pgp—w win386.swp yazın.
2. RealDelete'i kullanarak realdel [win386.swp] /per /garb yazın. Köşeli parantezler, bir dosyayı ön plan görevi olarak silmek için gereklidir ve ek anahtarlar, kişisel güvenlik düzeyini (bu durumda yalnızca bir üzerine yazma) ve rastgele bir veri üzerine yazmayı seçer.
3. Karalama'yı kullanarak SCRIBBLE /A/K c:windowswin386.swp yazın. /K anahtarı, dosyanın temizlendikten sonra bir varlık olarak kalmasına izin verir.
Bir takas dosyası genellikle birkaç yüz megabayt uzunluğunda olduğundan, bu silme işleminin tamamlanması birkaç dakika alacaktır.
Windows NT, kapatmanın otomatik bir parçası olarak takas dosyasını silmeye ve üzerine sıfırlar yazmaya izin verir. Microsoft'un kendi Resource Kit'ine göre, bir kişinin Registry2'yi düzenlemesi (Çalıştır iletişim kutusuna regedit yazın) ve adresine gitmesi gerekir.
Bir kısmı NT tarafından kullanıldığından, Windows NT'nin takas dosyasının tamamının üzerine yazmayacağını unutmayın. Tüm dosyanın üzerine yazmak için, Windows dışında (NT veya başka bir platform) yapılmalıdır. Bu, manuel olarak veya herhangi bir ticari veya ücretsiz disk temizleme yazılımı kullanılarak yapılabilir.
Kayıt Defterini düzenleyerek takas dosyasının boyutunu değiştirmeyin. Yeni bir disk belleği dosyası oluşturmak veya boyutunu değiştirmek için Kontrol'e gidin.
Swap usage nedir
Swap nedir
Linux swap alanı arttırma
Windows Swap nedir
Swap alanı ne kadar olmalı
Linux swap alanı oluşturma
Takas ve Mutabakat
Linux swap Kullanımı
Adli Veri Kaynağı
Kayıt Defteri Neden Önemli Bir Adli Delil Kaynağıdır?
Herhangi bir Windows kullanıcısı, bilgisayarın ekranda hangi küçük simgeleri ve nerede olmasını istediği, bilgisayarın hangi çözünürlüğü kullandığı, bilgisayara bir modemin bağlı olup olmadığı ve hangi bağlantı noktasında olduğu gibi şeyleri bilgisayarın hatırlamasını ister. Bilgisayarı her açtığınızda bu tür bilgilerin girilmesi çok can sıkıcı ve zaman alıcı olacaktır.
Windows 3.1x günlerinde, tüm bu bilgiler kolayca erişilebilir ve okunabilir iki dosyada saklanıyordu: win.ini ve system.ini. Bu dosyalar, herhangi bir metin düzenleyiciyle kolayca okunabilir ve düzenlenebilirdi (ve öyledir). Bu işlev için bir kelime işlemci kullanılıyorsa, düzenlenen nihai sonuçların biçimlendirilmiş bir belge olarak değil, yalnızca metin olarak kaydedildiğinden emin olunmalıdır.
Windows 95/98/NT ile bu iki dosyanın yerini, okunması zor ve düzenlemesi çok daha zor olan verilerle dolu, görünüşte dipsiz bir çukur olan Kayıt Defteri aldı. Kendi başına Kayıt Defteri adlı bir dosya yoktur. Bunun yerine Kayıt Defteri, user.dat ve system.dat adlı çok benzersiz iki dosyanın toplu adıdır ve ilki en büyük tehdittir.
Aşağıdaki şekillerde benzersizdirler:
1. Bunları görüntülemek için bile, REGEDIT adlı özel bir yazılıma (Microsoft tarafından sağlanan) veya Windows NT ise (REGEDIT'i de kabul eder) REGEDT32 gerekir; ikincisi, REGEDIT'in yaptığı tüm veri türlerini tanımaz.
2. Gördüğünüz orada olan değil! Yukarıdaki iki yazılım parçasıyla kaldırılan girişler, aslında hiç kaldırılmaz! Görünüşlere rağmen, çok fazla oradalar, ancak yalnızca "artık güncel değil" olarak işaretlendiler. Bir adli tıp müfettişi onları son derece kolay bir şekilde bulacaktır. REGEDIT tarafından düzenlenen girişler kaldırılmaz.
3. Kayıt defterindeki rahatsız edici girişler gerçekten kaldırılsa bile, sayfa yine de temizlenmemiştir. Bir adli müfettiş bu girişleri kolayca bulabilir çünkü Windows, Kayıt Defterinin bozuk olması ve bilinen bir çalışan sürümden (yedek kopya gibi) geri yüklenmesi gerekmesi ihtimaline karşı Kayıt Defterinin yedek kopyalarını saklar.
Yedek kopyaların kaldırılması yapılabilir, ancak önerilmez çünkü Windows aslında birçok nedenden dolayı çöker ve Kayıt Defteri'nin çalışan bir kopyası bir nimettir; aksi takdirde, Windows ve tüm uygulama yazılımları da dahil olmak üzere etkilenen sabit diskteki her şeyin büyük olasılıkla sıfırdan yeniden yüklenmesi gerekecektir. Bu nedenle, Tescil Defterinin (suçlayıcı olmayan) tam işlevli bir kopyasına her zaman sahip olmak son derece önemlidir.
4. Windows ve birçok uygulama yazılımı, Kayıt Defterinde gizliliğe önem veren herhangi bir kişinin isteyemeyeceği kadar çok depolamayı üstlenir.
Buna aşağıdakiler dahildir, ancak bunlarla sınırlı değildir:
A. Kişinin adı, adresi, şirket üyeliği, telefon numarası vb. (Windows ve/veya birçok uygulama yazılımı yüklenirken şüphelenmeyen bir kişi tarafından girilir);
B. Microsoft'un Internet Explorer'ı bir Web tarayıcısı olarak kullanılıyorsa, o bilgisayarı tarama yapmak için kimin kullandığından bağımsız olarak, son zamanlarda İnternette ne gezindi;
C. Bilgisayarı kim kullanıyor ve her kullanıcının tercihleri neler;
D. Şimdiye kadar kurulmuş olan her yazılım ürünü ve her biriyle ne yapıldığı (kaldırılan çoğu yazılım, kurulum kağıdı izini kaldırma zahmetine girmez);
E. Birçok uygulama yazılımında seri numaraları ve şifreler;
F. Kayıt Defterinde değişen derecelerde iz bırakan Usenet haber gruplarından indirilen mesajlar (eğer biri totaliter bir rejimde yaşıyorsa ve özgürlük ve eşit haklarla ilgilenen haber gruplarının himayesinde yaşıyorsa, bunun kanıtlarının bilgisayarda kalmasını istemeyebilir);
G. Şifrelenmesi gereken dosyalardaki düz metin parolalar.
Bu bilgilerin herhangi biri ve tümü, yalnızca kişinin bilgisayarındaki bir adli tıp müfettişi tarafından değil, aynı zamanda bir kullanıcı İnternet'te veya başka bir ağdayken herhangi bir yarı düzgün bilgisayar korsanı tarafından alınabilir.
Program Yazmak
Bu yazımızda, program yazmak için bir gösterim sunuyoruz. Sadece kısa bir giriş yapmak için Pascal ve C’ye yeterince benzer, bu nedenle böyle bir dilde yazılmış bir programın getirdiği etkileri açıklamaya odaklanıyoruz. Bir Pascal programı örneği ile başlayalım.
Belirli bir a girişi için program neyi hesaplar? Girilen a’nın bir doğal sayı olduğu verilsin. a < 3 ise, döngüyü koruyan koşul yanlış olduğu için hesaplama oldukça kolaydır. Daha büyük sayılara ne dersiniz? Bazı daha büyük giriş değerleri için programın yürütülmesini izlemek aşağıdaki tabloya yol açar.
Üç örneğin her birinde, çıktı, girdi numarasının 3’e bölümünün bölümü ve kalanı olan iki sayıdan oluşur. Bunun her bir olası girdi için geçerli olduğuna kendimizi ikna etmenin her birini tek tek kontrol etmekten başka bir yolu var mı? (ve bir sürü doğal sayı var)
Bildiğim tek etkili yol, tüm ara değerlerin “iyi” bir karakterizasyonunu bulmaktır. Kabul edilen ara değerlerin sayısından, yani tablodaki satır sayısından bağımsız bir doğruluk argümanını kabul etmesi anlamında iyi olmalıdır. Karakterizasyon, q ve r değişkenlerinin değerleri ile giriş değeri a arasındaki bir ilişkidir.
Bu ilişkinin değişkenler tarafından sağlanan tüm değerler için geçerli olduğunu nasıl kanıtlayacağız? Bunun değişmez bir ilişki olduğunu mu? İspat, matematiksel tümevarım yoluyla bir ispata benzer: ilişkinin başlangıçta geçerli olduğunu (yani, q := 0; r := a + 1’in yürütülmesi yoluyla kurulduğunu) ve döngünün sonraki her yürütmesinin ilişki. İkincisini ispatlarken, döngü gövdesinin yalnızca döngüyü koruyan koşul doğruysa gerçekleştirildiği gerçeğinden yararlanabiliriz.
Bu iki koşul sırasıyla ifadenin ön koşulu ve son koşulu olarak adlandırılır. Standart argüman, bunun önemsiz olduğu yönündedir. Bununla birlikte, biraz daha ikna edici bir argüman memnuniyetle karşılanacaktır.
Birazdan tartışacağımız gibi, argüman, önkoşulun, assignment deyimleri tarafından öngörülen ikamelerin sağdan sola sırayla gerçekleştirildiği sonkoşu ima etmesi olmalıdır. (Bu sıralama biraz şaşırtıcı gelebilir)
Böylece, önkoşulu alıyoruz, onda r’nin her geçtiği yeri r div 4 + r mod 4 ile değiştiriyoruz, sonra bunun sonucundaki her q’yu q + r div 4 ile değiştiriyoruz ve sonucun önkoşul tarafından ima edildiğini gösteriyoruz. . (Unutmayın ki div ve mod, çarpma kadar güçlüdür, dolayısıyla toplamadan daha güçlüdür.) E’de x yerine F’nin ikamesi E;, olarak yazılır. Sembol {:: “takip edenleri” ifade eder ve “ima eden”i ifade eden => ikilisidir.
Son satırın ilk satırı ima ettiğini kanıtlamak için, dilbilgisi durumunda bir türetme dizisini görüntülemek için kullandığımız formatın aynısını kullandık. Mevcut durumda, çizgileri eşitlik işaretleri ve ima işaretleri ile birleştirdik.
Çıkarımlar “yanlış yol” idi: son satır, tersi yerine bir önceki satırı ima ediyor. Elbette son satırdan başlayıp ilk satıra kadar ilerleyebilirdik. O zaman ilk adım, geleneksel olmayan “takip edenlerden” ziyade geleneksel bir çıkarım olurdu.
Bilgisayar program yazma
Kod yazma sitesi
Basit Program yazma
Program yazma programları
Basit kod yazma
Kod Yazma programı PC
Program yazma aşamaları
Kod yazma programı
Örnekte “takip eden” kullanmanın avantajı, yukarıdan aşağıya okurken adımların büyük bir sürpriz olarak gelmemesidir. Sürprizlere başvurmaktansa her iki yönde de sonuçlara sahip olmak daha iyidir.
Programın a’yı 3’e bölmenin hem bölümünü hem de kalanını hesapladığı sonucuna nasıl varabiliriz? Döngüyü koruyan koşul yanlış olduğunda, yani r < 4 olduğunda döngünün sona erdiğini biliyoruz.
Çıktı q ve r – 1’den oluşur ve önceki formül bunların gerekli bölüm ve kalan olduğunu ifade eder.
Bu programımızın ispatını tamamlar. Yoksa öyle mi? Döngü sonlanırsa bölüm ve kalanın yazdırıldığını göstermiştik. Bununla birlikte, döngünün sona erdiğini ve sonsuza kadar dönebileceğini göstermedik. Sonlandırmayı göstermek için, henüz gerçekleştirilecek yinelemelerin sayısında bir üst sınır olan program değişkenleri üzerinde bir tamsayı işlevi olan sınır işlevi adı verilen bir cihaz kullanıyoruz. (Tam yineleme sayısını varsaymak genellikle çok zordur veya açıkça imkansızdır – bir üst sınır yeterli olacaktır.)
Bu yorumun mantıklı olması için, döngünün her yinelemesinin sınır işlevini (bir tamsayı olduğu için en az bir sayı) azaltması gerektiği ve döngü azalmadığı sürece sınır işlevinin pozitif olduğu açık olmalıdır. sonlandırılmış.
Örneğimizde, bağlı işlevi r olarak alıyoruz. Döngü devam ettiği sürece r’nin pozitif olduğunu ve her iterasyonda r’nin azaldığını göstermeliyiz. q ve r hakkındaki bilgimizi, değişmez bağıntıda ve döngüyü koruyan koşulda somutlaştığı şekliyle, bu ispatlarda iyi bir avantaj sağlamak için kullanırız.
Bu arada “döngü sonlanır” terminolojisini kullanmakla bir bakıma özensiz davranmış oldum. Tabii ki döngü de bitiyor. Sadece üç satırlık bir döngü ve sonunda iki meydana gelen sembolle sonlanıyor. while sembolünün altındaki satırlar.Demek istediğim, döngünün yürütülmesinin sona ermesiydi.Özensiz terminolojiye bağlı kalacağım.
Basit İfadeler
Program notasyonumuzdaki ifadelerin anlamını veya semantiğini açıklamak için aşağıdaki gösterimi kullanırız: { P } S { Q }. Hem P hem de Q koşullardır ve S bir ifadedir; P’ye ön koşul ve Q’ya son koşul denir. Koşul için yüklem terimini de kullanacağız.
{ P } S { Q } ile, eğer S ifadesi yürütülürse, P’yi karşılayan bir başlangıç durumundan başlayarak yürütmenin sona ermesinin garanti edildiğini ve nihai durumun Q’yu karşılayacağını kastediyoruz.
{ P } S { Q } yapısı Hoare üçlüsü olarak adlandırılır. Bu bir boole özelliğidir: true veya false olan bir özellik. Operasyonel tanımdan, eğer { P } S { Q } doğruysa, o zaman { P’ } S { Q’ }’nin de doğru olduğu açıktır, burada P’ P’den daha güçlüdür (yani, P’ => P ) ve burada Q’, Q’dan daha zayıftır (yani, Q => Q’ ). Buna genellikle ön koşulu güçlendirebileceğimizi ve son koşulu zayıflatabileceğimizi söyleyerek atıfta bulunuruz.
Bir önkoşul verildiğinde, özellikle en zayıf önkoşulla ilgileniyoruz. Benzer şekilde, bir önkoşul verildiğinde, özellikle en güçlü önkoşulla ilgileniyoruz. (Doğrusu söylemek gerekirse, P’nin P’den daha güçlü olduğunu söylemememiz gerekirdi.