தானாகவே பெருகும் கணினி நிரலின் கருத்தை, சிக்கலான தானாக இயங்கும் இயந்திரத்தின் கோட்பாடு மற்றும் ஒழுங்கமைப்பு என்பவற்றை உள்ளடக்கும் விரிவுரையை ஜான் வொன் நியூமன் வழங்கிய 1949 ஆண்டு காலத்திற்குச் சென்று பின்தடமறியலாம். ஒரு நிரலானது தானாகவே பெருக்கமடையலாம் என்பதை கோட்பாட்டில் நியூமன் காண்பித்தார். இது கணிக்கக்கூடிய கோட்பாட்டில் சாத்தியமான முடிவை வழங்கியது. ஃபிரெட் கோஹென் கணினி வைரஸ்களில் பரிசோதனை நடத்தி நியூமனின் தேவையை உறுதிப்படுத்தினார். அவர் தீப்பொருளின் பிற பண்புகள் குறித்தும் ஆய்வு செய்தார் (கண்டறியக்கூடிய தன்மை, "புரட்சிகரம்" என அவரால் அழைக்கப்பட்ட அடிப்படை குறியாக்கத்தைப் பயன்படுத்திய தன்னையே குழப்பமடையச்செய்யும் நிரல்கள் மற்றும் பல). 1988 ஆம் ஆண்டில் செய்யப்பட்ட அவருடைய டாக்டரல் ஆராய்ச்சிக் கட்டுரையானது கணினி வைரஸ்களைப் பற்றியதாகவே இருந்தது. கோஹெனின் பல்கலைக்கழக ஆலோசகர் லியனார்ட் ஆட்லெமன் (RSA இல் A), ஒரு வைரஸ் அல்லது வைரஸ் அற்றது என்பதை பொதுவான வழக்கத்தில் நெறிப்பாட்டு ரீதியில் தீர்மானிப்பது டூரிங் முடிவெடுக்க முடியாதது என்று கடுமையான சான்றை விளக்கப்படுத்தினார். இந்த சிக்கலானது வைரஸ் இல்லை என்ற பரந்த வகுப்பு நிரல்களிடையே தீர்மானித்தலுக்காக தவறாக எடுக்கப்பட்டதாக இருக்கக் கூடாது; அனைத்து வைரஸ்களையும் கண்டறிய இதற்கு ஆற்றல் தேவையில்லை என்பதில் இந்த சிக்கல் வேறுபடும். இன்றைய தேதிக்கு அட்லெமன்னின் சான்றானது தீப்பொருள் கணிக்கக்கூடிய கோட்பாட்டில் பெரும்பாலும் மிகச்சிறந்த முடிவாக உள்ளது, மேலும் இது காண்டரின் மூலைவிட்ட விவாதத்திலும் நிறுத்தச் சிக்கலிலும் கூட தங்கியுள்ளது. மாறாக, கிரிப்டோகிராஃபி இல் ஆட்லெமன் ஆற்றிய பணியானது வைரஸைக் கட்டமைக்க சிறந்தது என யங் மற்றும் யுங் பின்னர் காண்பித்துள்ளனர், அது கிரிப்டோவைரஸ் இன் எண்ணக்கருவை வழங்குவதன் மூலம் மீளுருவாக்கத்துக்கு உயர் எதிர்ப்பானது. கிரிப்டோவைரஸ் என்பது ஒரு வைரஸ், அதில் பொது விசை மற்றும் தோராயமாக உருவாக்கப்பட்ட சமச்சீரான சிப்பெர் தொடக்க வெக்டர்(IV) மற்றும் அமர்வு விசை (SK) ஆகியன உள்ளதோடு அவற்றை அது பயன்படுத்தும். கிரிப்டோவைரல் அச்சுறுத்தல் தாக்குதலில், வைரஸ் ஹைபிரிட்டானது தோராயமாக உரிவாக்கப்பட்ட IV மற்றும் SK ஆகியவற்றைப் பயன்படுத்தி பாதிக்கப்பட்டவரின் கணினியில் எளியஉரை தரவைக் குறியாக்கம் செய்யும். IV+SK ஆகியவை பின்னர் வைரஸ் எழுத்தாளரின் பொது விசையைப் பயன்படுத்தி குறியாக்கம் செய்யப்படும். கோட்பாட்டின்படி, சிப்பர்உரையை குறிநீக்க வேண்டுமாயின், IV+SK ஐ மீளப்பெற பாதிக்கப்பட்டவர் வைரஸ் எழுத்தாளருடன் கலந்து பேசவேண்டும் (அங்கு எதுவித மறுபிரதிகளும் இல்லை எனக்கொண்டு). வைரஸை ஆய்வு செய்வது பொது விசையைக் வெளிப்படுத்தும், குறிநீக்கத்துக்கு வேண்டிய IV மற்றும் SK அல்லது IV மற்றும் SK ஐ மீட்க வேண்டிய தனிப்பட்ட விசையை அல்ல. மீளுருவாக்கத்துக்கு எதிராக வலிமையான தீப்பொருளைத் திட்டமிட கணிக்கப்படக்கூடிய கோட்பாட்டைப் பயன்படுத்தலாம் என்பதைக் காண்பித்த முதலாவது முடிவு இதுவாகும்.

உயிரியல் வைரஸ் ஆய்வில் பயன்படுத்தப்பட்டுள்ள லொட்கா-வால்ட்டரா சமன்பாடுகள் போன்ற மாதிரிகளைப் பயன்படுத்தி வார்ம்களின் பாதிப்பு நடத்தையை கணிதரீதியாக மாதிரியாக்குவது கணினி வைரஸ் ஆய்வின் வளர்ந்து வருகின்ற இன்னொரு பகுதியாகும். கணினி வைரஸின் இனவிருத்தி, வைரஸ் போன்ற தாக்கும் குறியீடுகளுடன் போராடும் வைரஸ், இணைவதன் செயல்திறன்தன்மை, இன்னும் பல போன்ற பலவகை வைரஸ் இனவிருத்தி விவரங்களை ஆராய்ச்சியாளர்கள் ஆராய்ந்துள்ளனர்.

மறைவிடம்: ட்ரோஜன் ஹார்ஸ்கள், ரூட்கிட்கள் மற்றும் ஒளிவுமறைவானவை
கூடுதல் சிறப்புரிமை அளிக்கப்பட்ட குறியீட்டை நீக்குதல்
வலை மற்றும் ஸ்பேம்
தீப்பொருள் குறித்த கல்வியியல் ஆய்வு: சுருக்கமான மேலோட்டப்பார்வை