Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Принцип обмеженого доступу

Принцип обмеженого доступу - один з основних принципів безпеки. Він припускає, що доступ відбувається тільки до необхідних даних.

Він може бути сформульований таким чином:

Все, що повинне бути сховано, слід приховати.

Програміст повинен мати доступ до будь-яких даних, не потрібних для виконання поточного завдання. Права доступу повинні бути обмежені. Типові мови програмування не задовольняють цю вимогу. Воно застосовується в операційних системах, наприклад, DOS і WINDOWS.

Принцип обмеженого доступу реалізовується інкапсуляцією (відомою з Modula 2) і об'єктно-орієнтованим підходом:

· приватні поля, змінні, методи

· табліци експорту

· табліци імпорту (визначають внутрішні ресурси)

Строгий контроль типів

Типізація - це вираз (і деяка абстракція програмування), який застосовуєтся до деяких одиниць програмування (змінні, процедури, методи, дані, функції, параметри, події, виключення, модулі).

Тип визначає значення даних і є формальним обмеженням конструкції змінних і об'єктів.

Мета типізації - управляти формальним програмуванням.

Типізація підтримує об'єктно-орієнтоване програмування. Ім'я зазвичай відображає семантику об'єкту, наприклад, D представляє дані (від Data). У мовах з сильною типізацією (наприклад, Pascal і Modula2) така ідентифікація повинна бути присутньою в оголошенні типів. Оголошення перевіряються (наприклад, якщо програміст оголосить X як ціле число (integer), компілятор перевірить, чи всі виклики сприймають X як ціле число.

Сильна типізація запобігає помилкам в 80% випадків. На жаль, в багатьох комерційних продуктах цей контроль не повний, або ним і зовсім нехтують (Smalltalk, SQL).

Система сильного статичного контролю типів містить наступні елементи:

· Специфікація всіх видів змінних і об'єктів, наприклад: Typedef TypWorker = struct{string name, int salary, Works_in, int salary_without_taxes()}; TypWorker Worker;

· Визначення сигнатури всіх операторів, процедур, функцій, методів, наприклад: Boolean works_long (in TypWorker wrkr, in WorkSphere, out years_works)

· Визначення інтерфейсів, класів і інших інкапсульованих абстракцій.

У визначенні параметрів ми визначаємо параметри вводу і виводу.

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


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

  1. Аграрна політика як складова економічної політики держави. Сут­ність і принципи аграрної політики
  2. Адміністративні методи - це сукупність прийомів, впливів, заснованих на використанні об'єктивних організаційних відносин між людьми та загальноорганізаційних принципів управління.
  3. Акції вільного чи обмеженого обігу
  4. Аналогія права - вирішення справи або окремого юридичного питання на основі принципів права, загальних засад і значення законодавства.
  5. Антикорупційні принципи
  6. АРХІВНЕ ОПИСУВАННЯ: ПОНЯТТЯ, ВИДИ, ПРИНЦИПИ І МЕТОДИ
  7. Б/. Принципи виборчого права.
  8. Базові принципи обліку виробничих витрат і калькулювання собівартості продукції
  9. Базові принципи психології спорту.
  10. Банківська система: сутність, принципи побудови та функції. особливості побудови банківської системи в Україн
  11. Банківська система: сутність, принципи побудови та функції. Особливості побудови банківської системи в Україні.
  12. Банківська система: сутність, принципи побудови та функції. Особливості побудови банківської системи в Україні.




Переглядів: 639

<== попередня сторінка | наступна сторінка ==>
Переваги розробки тришарових програм | Похибка

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

  

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


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