Еколого-технологічний газоаналітичний комплекс

1. Спосіб захисту, на основі щонайменше одного незадіяного пристрою (60), що містить принаймні засоби (15) запам’ятовування і засоби (16) обробки, від неавторизованого використання уразливої програми (2v), яка функціонує на системі (3) обробки даних, який полягає в тому, що:

à у фазі (P) захисту:

• визначають:

– щонайменше одну характеристику виконання програми, що може бути проконтрольована, щонайменше частково, у пристрої (6),

– щонайменше один критерій, що має виконуватися щонайменше для однієї характеристики виконання програми,

– засоби (17) детектування, що їх слід застосовувати у пристрої (6) і які дозволяють виявити, що принаймні одна характеристика виконання програми не відповідає щонайменше одному відповідному критерію,

– і засоби (18) примусу, що їх слід застосовувати у пристрої (6) і які дозволяють проінформувати систему (3) обробки даних і/або модифікувати виконання програми, поки не дотримано хоча б одного критерію;

• конструюють засоби експлуатації, що дозволяють пристрою (6) задіяти засоби (17) детектування й засоби (18) примусу;

створюють захищену програму (2p):

– за допомогою вибору щонайменше однієї характеристики виконання контрольованої програми з характеристик виконання, які можуть бути проконтрольовані,

– за допомогою вибору щонайменше одного критерію, який має виконуватися щонайменше для однієї вибраної характеристики виконання програми,

– за допомогою вибору щонайменше одного алгоритму, який у ході виконання уразливої програми (2v) використовує щонайменше один операнд і дозволяє одержати щонайменше один результат і для якого слід контролювати щонайменше одну характеристику виконання вибраної програми,

– за допомогою вибору щонайменше одного фрагмента коду (2vs) уразливої програми, що містить щонайменше один вибраний алгоритм,

– за допомогою створення вихідного коду (2ps) захищеної програми на основі коду уразливої програми (2v) модифікацією щонайменше одного вибраного фрагмента коду (2vs) уразливої програми, щоб одержати щонайменше один модифікований фрагмент коду (2ps) захищеної програми, причому ця модифікація така, що:

Ø в ході виконання захищеної програми (2p) перша виконувана частина (2pes) виконується в системі (3) обробки даних, а друга виконувана частина (2peu) виконується у пристрої (6), отриманому з незадіяного пристрою (60) після завантаження інформації,

Ø друга виконувана частина (2peu) виконує щонайменше функціональну можливість щонайменше одного вибраного алгоритму,

Ø і в ході виконання захищеної програми (2p) щонайменше одна вибрана характеристика виконання контролюється за допомогою другої виконуваної частини (2peu), і недотримання критерію приводить до модифікації виконання захищеної програми (2p);

– і за допомогою створення:

Ø першої частини (2pos) об’єктного коду захищеної програми (2p), причому перша частина (2pos) об’єктного коду така, що в ході виконання захищеної програми (2p) реалізується перша виконувана частина (2pes), яка виконується в системі обробки даних (3), і щонайменше частина якого враховує, що контролюється щонайменше одна характеристика виконання вибраної програми,

Ø і другої частини (2pou) об’єктного коду захищеної програми (2p), що містить засоби експлуатації, що дозволяють застосовувати також засоби (17) детектування і засоби (18) примусу, причому друга частина (2pou) об’єктного коду така, що після завантаження в незадіяний пристрій (60), у ході виконання захищеної програми (2p) реалізується друга виконувана частина (2peu), за допомогою якої контролюється щонайменше одна характеристика виконання програми і за допомогою якої недотримання критерію приводить до модифікації виконання захищеної програми (2p),      

• і завантажують другу частину (2pou) об’єктного коду в незадіяний пристрій (60) з одержанням пристрою (6),

à а в фазі (U) використання, в ході якої відбувається виконання захищеної програми (2p):

• за наявності пристрою (6):

– якщо всіх критеріїв, що відповідають усім контрольованим характеристикам виконання всіх модифікованих фрагментів захищеної програми (2p), дотримано, допускають номінальне функціонування зазначених фрагментів захищеної програми (2p) й, отже, номінальне функціонування захищеної програми (2p),

– а якщо принаймні одного з критеріїв, що відповідають контрольованій характеристиці виконання одного фрагмента захищеної програми (2p), не дотримано, інформують систему (3) обробки даних про згадане недотримання і/або модифікують функціонування фрагмента захищеної програми (2p) таким чином, щоб функціонування захищеної програми (2p) було змінено;

• тоді як за відсутності пристрою (6), незважаючи на запит фрагмента першої виконуваної частини (2pes) на запуск виконання у пристрої (6) функціональної можливості вибраного алгоритму, не забезпечується можливість коректно відповісти на цей запит, так що принаймні вказаний фрагмент не виконується коректно й, отже, захищена програма (2p) не є повнофункціональною.

2. Спосіб за п. 1, який відрізняється тим, що:

щоб обмежити використання захищеної програми (2p),

à у фазі (P) захисту:

• визначають:

– як характеристику виконання програми, яка може бути проконтрольована, - змінну для кількісного контролю використання однієї функціональної можливості програми,

– як критерій, що його слід дотримуватися, - щонайменше одне порогове значення, зв’язане з кожною змінною для кількісного контролю,

– і засоби поновлення, що дозволяють поновити щонайменше одну змінну для кількісного контролю;

• конструюють засоби експлуатації, що дозволяють пристрою (6) застосовувати засоби поновлення;

• і модифікують захищену програму (2p):

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

– за допомогою вибору:

Ø щонайменше однієї функціональної можливості захищеної програми (2p), використання якої можна проконтролювати з використанням змінної для кількісного контролю,

Ø щонайменше однієї змінної для кількісного контролю, яка служить для кількісної характеристики використання згаданої функціональної можливості,

Ø щонайменше одного порогового значення, зв’язаного з вибраною змінною для кількісного контролю і відповідного межі використання згаданої функціональної можливості,

Ø і щонайменше одного методу поновлення значення вказаної змінної для кількісного контролю залежно від використання вказаної функціональної можливості,

– і за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми, причому згадана модифікація така, що в ході виконання захищеної програми (2p) змінна для кількісного контролю поновлюється за допомогою другої виконуваної частини (2peu), залежно від використання зазначеної функціональної можливості, й ураховується щонайменше одне перевищення порогового значення,

à а у фазі (U) використання, у присутності пристрою (6), у випадку, коли виявлено щонайменше одне перевищення порогового значення, що відповідає щонайменше одній межі використання, інформують про це систему (3) обробки даних і/або модифікують функціонування фрагмента захищеної програми (2p) таким чином, щоб функціонування захищеної програми (2p) було змінено.

3. Спосіб за п. 2, який відрізняється тим, що:

à у фазі (P) захисту:

• визначають:

– декілька відповідних порогових значень щонайменше для однієї змінної для кількісного контролю,

– і різноманітні засоби примусу, що відповідають кожному зі згаданих порогів;

• і модифікують захищену програму (2p):

– за допомогою вибору у вихідному коді (2ps) захищеної програми щонайменше однієї змінної для кількісного контролю, з якою мають зв’язуватися декілька порогових значень, що відповідають різноманітним межам використання функціональної можливості,

– за допомогою вибору щонайменше двох порогових значень, зв’язаних з вибраною змінною для кількісного контролю,

– і за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми, причому зазначена модифікація така, що в ході виконання захищеної програми (2p) перевищення різних порогових значень враховуються за допомогою другої виконуваної частини (2peu) різними способами,

à а у фазі (U) використання:

• за наявності пристрою (6):

– у випадку, коли виявлено перевищення першого порогового значення, дають команду захищеній програмі (2p) не використовувати надалі відповідну функціональну можливість,

– а у випадку, коли виявлено перевищення другого порогового значення, роблять нездійсненною відповідну функціональну можливість і/або щонайменше частину захищеної програми (2p).

4. Спосіб за п. 2 або 3, який відрізняється тим, що:

à у фазі (P) захисту:

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

• конструюють засоби експлуатації, що дозволяють також пристрою (6) задіяти засоби перезавантаження;

• і модифікують захищену програму (2p):

– за допомогою вибору у вихідному коді (2ps) захищеної програми щонайменше однієї змінної для кількісного контролю, що дозволяє обмежити використання однієї функціональної можливості, для якої існує можливість дозволу, щонайменше на одне додаткове використання,

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

à а у фазі перезавантаження:

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

5. Спосіб за п. 1, який відрізняється тим, що:

à у фазі (P) захисту:

• визначають:

– як характеристику виконання програми, яка може бути проконтрольована, - профіль використання програми,

– і як критерій, що його слід дотримуватися, - щонайменше одну ознаку виконання програми;

• і модифікують захищену програму (2p):

– за допомогою вибору як характеристики виконання контрольованої програми щонайменше одного профілю використання програми,

– за допомогою вибору щонайменше однієї ознаки виконання програми, що її має дотримуватися щонайменше один профіль використання,

–  і за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми, причому згадана модифікація така, що в ході виконання захищеної програми (2p) друга виконувана частина (2peu) дотримується всіх вибраних ознак виконання,

à а у фазі (U) використання, за наявності пристрою (6) у випадку, якщо виявлено, що не дотримано хоча б однієї ознаки виконання, інформують про це систему (3) обробки даних і/або модифікують функціонування частини захищеної програми (2p) так, щоб функціонування захищеної програми (2p) було змінено.

6. Спосіб за п. 5, який відрізняється тим, що:

à у фазі (P) захисту:

• визначають:

– набір інструкцій, інструкції зі складу якого можуть бути виконані у пристрої (6),

– набір команд інструкцій для згаданого набору інструкцій, причому команди інструкцій можуть бути виконані в системі (3) обробки даних, викликаючи у пристрої (6) виконання інструкцій,

– як профіль використання – зчеплення інструкцій,

– як ознаку виконання – бажане зчеплення для виконання інструкцій,

– як засоби (17) детектування – засоби, що дозволяють виявити, що зчеплення інструкцій не відповідає бажаному,

– як засоби (18) примусу – засоби, що дозволяють проінформувати систему (3) обробки даних і/або модифікувати функціонування фрагмента захищеної програми (2p), якщо зчеплення інструкцій не відповідає бажаному;

• конструюють засоби експлуатації, що дозволяють пристрою (6) виконувати інструкції з набору інструкцій, причому виконання зазначених інструкцій викликається виконанням команд інструкцій у системі (3) обробки даних;

• і модифікують захищену програму (2p):

– за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми:

Ø за допомогою перетворення елементарних функцій на інструкції,

Ø за допомогою задання зчеплення, що його мають дотримуватися щонайменше деякі з інструкцій під час їхнього виконання у пристрої (6),

Ø і за допомогою перетворення елементарних команд на команди інструкцій, що відповідають використовуваним інструкціям,

à а у фазі (U) використання, за наявності пристрою (6), у випадку, якщо виявлено, що зчеплення виконуваних у пристрої (6) інструкцій не відповідає бажаному, інформують про це систему (3) обробки даних і/або модифікують функціонування фрагмента захищеної програми (2p) так, щоб функціонування захищеної програми (2p) було змінено.

7. Спосіб за п. 6, який відрізняється тим, що:

à у фазі (P) захисту:

• визначають:

– як набір інструкцій – набір інструкцій, у якому щонайменше деякі інструкції працюють на регістрах, і використовують щонайменше один операнд для видачі результату,

– щонайменше для частини інструкцій, що працюють на регістрах:

Ø частину (PF), що задає функціональну можливість інструкції,

Ø і частину, що задає бажане зчеплення для виконання інструкцій і містить бітові поля, що відповідають:

q       полю (CII) ідентифікації інструкції, 

q        і для кожного операнда інструкції:

* полю (CDk) прапора,

* і полю (CIPk) ідентифікації, передбаченої для операнда,

– для кожного регістра, що належить до засобів експлуатації і використовується набором інструкцій, - поле (CIGv) передбаченої ідентифікації, в якому автоматично запам’ятовується ідентифікація останньої інструкції, що повернула свій результат у вказаний регістр,

– як засоби (17) детектування – засоби, що дозволяють під час виконання інструкції для кожного операнда, коли цього вимагає поле (CDk) прапора, контролювати рівність між полем (CIGv) генерованої ідентифікації, що відповідає регістру, використовуваному згаданим операндом, і полем (CIPk) передбаченої ідентифікації початкової адреси цього операнда,

– і як засоби (18) примусу – засоби, що дозволяють модифікувати результат виконання інструкцій, якщо принаймні одна з контрольованих рівностей хибна.

8. Спосіб за будь-яким з пп. 1-7, який відрізняється тим, що:

à у фазі (P) захисту:

• модифікують захищену програму (2р):

– за допомогою вибору щонайменше однієї змінної, використовуваної щонайменше в одному вибраному алгоритмі, яка в ході виконання захищеної програми (2p) частково визначає стан захищеної програми (2p),

–  за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми, причому ця модифікація така, що в ході виконання захищеної програми (2p) щонайменше одна вибрана змінна або одна копія вибраної змінної знаходиться у пристрої (6),

– і за допомогою створення:

Ø першої частини (2pos) об’єктного коду захищеної програми (2p), причому ця перша частина (2pos) об’єктного коду така, що в ході виконання захищеної програми (2p) щонайменше один фрагмент першої виконуваної частини (2pes) враховує, що принаймні одна змінна або щонайменше одна копія змінної знаходиться у пристрої (6),

Ø і другої частини (2pou) об’єктного коду захищеної програми (2p), причому ця друга частина (2pou) об’єктного коду така, що після завантаження у пристрій (6) і в ході виконання захищеної програми (2p) реалізується друга виконувана частина (2peu), за допомогою якої щонайменше одна вибрана змінна або щонайменше одна копія вибраної змінної також знаходиться у пристрої (6),

à а у фазі (U) використання:

• за наявності пристрою (6), кожного разу, коли цього вимагає фрагмент першої виконуваної частини (2pes), використовують змінну або копію змінної, що знаходиться у пристрої (6) так, щоб указаний фрагмент виконувався коректно й, отже, захищена програма (2p) була повнофункціональною,

• а за відсутності пристрою, незважаючи на запит фрагмента першої виконуваної частини (2pes) на використання змінної або копії змінної, що знаходиться у пристрої (6), не забезпечується можливість коректної відповіді на вказаний запит, так що принаймні вказаний фрагмент не виконується коректно й, отже, захищена програма (2p) не є повнофункціональною.

9. Спосіб за п. 6, який відрізняється тим, що:

à у фазі (P) захисту:

• визначають:

– як команду запуску – команду інструкції,

– як залежну функцію – інструкцію,

– як установний параметр, - принаймні один аргумент для команди запуску, що відповідає, щонайменше частково, інформації, переданій системою (3) обробки даних на пристрій (6), щоб викликати запуск відповідної залежної функції,

– метод перейменування установних параметрів, що дозволяє перейменувати установні параметри, щоб одержати команди запуску з перейменованими установними параметрами,

– і засоби (20) відновлення, що призначені для застосування у пристрої (6) у фазі (U) використання і що дозволяють знайти залежну функцію, що її слід виконати, виходячи з перейменованого установного параметра;

• конструюють засоби експлуатації, дозволяють пристрою (6) задіяти засоби відновлення;

• і модифікують захищену програму (2p):

– за допомогою вибору у вихідному коді (2ps) захищеної програми команд запуску,

– за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми за допомогою перейменування установних параметрів вибраних команд запуску, щоб приховати ідентичність відповідних  залежних функцій,

– і за допомогою створення:

Ø першої частини (2pos) об’єктного коду захищеної програми (2p), причому перша частина (2pos) об’єктного коду така, що в ході виконання захищеної програми (2p) виконуються команди запуску з перейменованими установними параметрами,

Ø і другої частини (2pou) об’єктного коду захищеної програми (2p), що містить засоби експлуатації, які використовують також засоби (20) відновлення, причому друга частина (2pou) об’єктного коду така, що після завантаження у пристрій (6), у ході виконання захищеної програми (2p) ідентичність залежних функцій, виконання яких викликано першою виконуваною частиною (2pes), відновлюється за допомогою другої виконуваної частини (2peu), а залежні функції виконуються за допомогою другої виконуваної частини (2peu),

à а у фазі (U) використання:

• за наявності пристрою (6), кожного разу, коли цього вимагає команда запуску з перейменованими установними параметрами, що міститься у фрагменті першої виконуваної частини (2pes), відновлюють у пристрої (6) ідентичність відповідної залежної функції і виконують її так, щоб указаний фрагмент виконувався коректно й, отже, захищена програма (2p) була повнофункціональною;

• тоді як за відсутності пристрою (6), незважаючи на запит фрагмента першої виконуваної частини (2pes) на запуск виконання у пристрої (6) залежної функції, не забезпечується можливість коректної відповіді на вказаний запит, так що принаймні вказаний фрагмент не виконується коректно й, отже, захищена програма (2p) не є повнофункціональною.

10. Спосіб за п. 9, який відрізняється тим, що:

à у фазі (P) захисту:

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

• і модифікують захищену програму (2p):

– за допомогою вибору у вихідному коді (2ps) захищеної програми щонайменше однієї команди запуску з перейменованими установними параметрами,

– і за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми за допомогою заміни щонайменше перейменованого установного параметра команди запуску з вибраним установним параметром на інший перейменований установний параметр, що викликає запуск залежної функції з того ж сімейства.

11. Спосіб за п. 10, який відрізняється тим, що включає:

à у фазі (P) захисту визначення, щонайменше для однієї функції, сімейства алгоритмічно еквівалентних залежних функцій:

– за допомогою зчеплення поля шумів з інформацією, що визначає ту функціональну частину залежної функції, що виконується у пристрої (6),

– або за допомогою використання поля (CII) ідентифікації інструкції і полів (CIPk) ідентифікації, передбачених для операндів.

12. Спосіб за п. 9, 10 або 11, який відрізняється тим, що:

à у фазі (P) захисту визначають:

– як метод перейменування установних параметрів – метод кодування для кодування установних параметрів,

– і як засоби (20) відновлення – засоби, що застосовують метод декодування для розкодування перейменованих установних параметрів і відновлення ідентичності залежних функцій, що їх потрібно виконати у пристрої (6).

13. Спосіб за будь-яким з пп. 1-12, який відрізняється тим, що:

à у фазі (P) захисту:

• модифікують захищену програму (2p):

– за допомогою вибору у вихідному коді (2ps) захищеної програми щонайменше одного умовного переходу, виконуваного щонайменше в одному вибраному алгоритмі,

– за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми, причому зазначена модифікація така, що в ході виконання захищеної програми (2p) функціональна можливість щонайменше одного вибраного умовного переходу виконується, за допомогою другої виконуваної частини (2peu), у пристрої (6),

– і за допомогою створення:

Ø першої частини (2pos) об’єктного коду захищеної програми (2p), причому перша частина (2pos) об’єктного коду така, що в ході виконання захищеної програми (2p) функціональна можливість щонайменше одного вибраного умовного переходу виконується у пристрої (6),

Ø і другої частини (2pou) об’єктного коду захищеної програми (2p), причому друга частина (2pou) об’єктного коду така, що після завантаження у пристрій (6), у ході виконання захищеної програми (2p) реалізується друга виконувана частина (2peu), за допомогою якої виконується функціональна можливість щонайменше одного вибраного умовного переходу,

à а у фазі (U) використання:

• за наявності пристрою (6), кожного разу, коли цього вимагає фрагмент першої виконуваної частини (2pes), виконують у пристрої (6) функції щонайменше одного вибраного умовного переходу таким чином, щоб указаний фрагмент виконувався коректно й, отже, захищена програма (2p) була повнофункціональною;

• а за відсутності пристрою (6), незважаючи на запит фрагмента першої виконуваної частини (2pes) на виконання функцій умовного переходу у пристрої (6), не забезпечується можливість коректної відповіді на вказаний запит, так що принаймні вказаний фрагмент не виконується коректно й, отже, захищена програма (2p) не є повнофункціональною.

14. Спосіб за п. 13, який відрізняється тим, що у фазі (P) захисту модифікують захищену програму (2p):

– за допомогою вибору у вихідному коді (2ps) захищеної програми щонайменше однієї серії вибраних умовних переходів,

– за допомогою модифікації щонайменше одного вибраного фрагмента коду (2ps) захищеної програми, причому згадана модифікація така, що в ході виконання захищеної програми (2p) глобальна функціональна можливість щонайменше однієї вибраної серії умовних переходів виконується у пристрої (6) за допомогою другої виконуваної частини (2peu),

– і за допомогою створення:

Ø першої частини (2pos) об’єктного коду захищеної програми (2p), причому перша частина (2pos) об’єктного коду така, що в ході виконання захищеної програми (2p) функціональна можливість щонайменше однієї вибраної серії умовних переходів виконується у пристрої (6),

Ø і другої частини (2pou) об’єктного коду захищеної програми (2p), причому друга частина (2pou) об’єктного коду така, що після завантаження у пристрій (6), у ході виконання захищеної програми (2p) реалізується друга виконувана частина (2peu), за допомогою якої виконується глобальна функціональна можливість щонайменше однієї вибраної серії умовних переходів.

15. Спосіб за будь-яким з пп. 1-14, який відрізняється тим, що розкладають фазу (P) захисту на вхідну підфазу (P1) захисту, не залежну від програми, що захищається, і на вихідну підфазу (P2) захисту, залежну від програми, що захищається.

16. Спосіб за п. 15, який відрізняється тим, що в ході вхідної підфази (P1) захисту задіюють стадію (S11) визначень, на якій виконуються всі визначення.

17. Спосіб за п. 16, який відрізняється тим, що після стадії (S11) визначень задіюють стадію конструювання (S12), на якій створюються засоби експлуатації.

18. Спосіб за п. 17, який відрізняється тим, що після стадії (S12) конструювання задіюють стадію (S13) передперсоналізації, яка полягає в тому, що завантажують у незадіяний пристрій (60) щонайменше частину засобів експлуатації, щоб одержати передперсоналізований пристрій (66).

19. Спосіб за п. 16 або 17, який відрізняється тим, що в ході вхідної підфази (P1) захисту задіюють стадію (S14) виготовлення засобів, на якій виготовляються засоби, що допомагають при створенні захищених програм або автоматизації захисту програм.

20. Спосіб за п. 15 або 18, який відрізняється тим, що вихідну підфазу (P2) захисту розкладають на:

• стадію (S21) створення, на якій на основі уразливої програми (2v) створюється захищена програма (2p);

• можливо, стадію (S22) модифікації, на якій модифікується захищена програма (2p);

• і, можливо, стадію (S23) персоналізації, на якій:

– друга частина (2pou) об’єктного коду захищеної програми (2p), що, можливо, містить засоби експлуатації, завантажується щонайменше в один незадіяний пристрій (60), щоб одержати принаймні один пристрій (6),

– або друга частина (2pou) об’єктного коду захищеної програми (2p), що, можливо, містить засоби експлуатації, завантажується щонайменше в один передперсоналізований пристрій (66), щоб одержати щонайменше один пристрій (6).

21. Спосіб за п. 19 або 20, який відрізняється тим, що в ході стадії (S21) створення і, можливо, стадії (S22) модифікації використовують щонайменше один із засобів, призначених для використання при створенні захищених програм або автоматизації захисту програм.