Основні припущення і обмеження

Як обчислювальне середовище розглядається сукупність встановлених для даної КС алгоритмів використання системних ресурсів, програмного і інформаційного забезпечення, яка потенційно може бути представлена користувачу для вирішення прикладних завдань. Операційним середовищем є сукупність тих, що функціонують в даний момент часу елементів обчислювального середовища, що беруть участь в процесі рішення конкретної задачі користувача.

Принципово можливість програмної дії визначається відвертістю обчислювальної системи, під якою розуміється надання користувачу можливості формувати елементну базу обчислювального середовища під свої завдання, а також можливість використовувати в повному об'ємі системні ресурси, що є невід'ємною ознакою автоматизованих робочих місць на базі персональних ЕОМ.

Як засіб боротьби з "пасивними" методами дії допускається створення служб безпеки, обмежуючих доступ користувачів до елементів обчислювального середовища, в першу чергу до програм обробки чутливої інформації. Передбачається, що можливості "активних" методів дії значно ширші.

Необхідною умовою для віднесення програми до класу руйнуючих програмних засобів є наявність в ній процедури нападу, яку можна визначити як процедуру порушення цілісності обчислювального середовища, оскільки об'єктом нападу РПЗ завжди виступає елемент цього середовища.

При цьому необхідно враховувати два чинники:

будь-яка прикладна програма, що не належить до РПЗ, потенційно може містити в собі алгоритмічні помилки, поява яких при її функціонуванні приведе до ненавмисного руйнування елементів обчислювального середовища;
будь-яка прикладна або сервісна програма, орієнтована на роботу з конкретними вхідними даними може завдати ненавмисного збитку елементам операційного або обчислювального середовища у разі, коли вхідні дані або відсутні, або не відповідають заданим форматам їх введення в програму.

Для усунення вказаної невизначеності по відношенню до випробовуваних програм слід виходити з припущення, що процедура порушення цілісності обчислювального середовища введена в склад ПЗ умисне. Окрім умови необхідності, доцільно ввести умови достатності, які забезпечать можливість опису РПЗ різних класів:

достатньою умовою для віднесення РПЗ до класу комп'ютерних вірусів є наявність в його складі процедури саморепродукції;
достатньою умовою для віднесення РПЗ до класу засобів несанкціонованого доступу є наявність в його складі процедури подолання захисту і відсутності процедури саморепродукції;
достатньою умовою для віднесення РПЗ до класу програмних закладок є відсутність в його складі процедур саморепродукції і подолання захисту.

Передбачається наявність в РПЗ наступного набору можливих функціональних елементів:

процедури захоплення (отримання) управління;
процедури самомодифікації ("мутації");
процедури породження (синтезу);
процедури маскування (шифрування).

Цих елементів достатньо для побудови узагальненої концептуальної моделі РПЗ, яка відображає можливу структуру (на семантичному рівні) основних класів РПЗ.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Теоретичні основи	\|	Використовувана термінологія

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.004 сек.