PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2000 | Systemy wspomagania organizacji SWO 2000 | 529--538
Tytuł artykułu

Formalny opis systemu bezpieczeństwa organizacji

Warianty tytułu
Języki publikacji
PL
Abstrakty
Jednym z ważniejszych zagadnień występujących podczas projektowania procesów zachodzących we współczesnych organizacjach gospodarczych jest zapewnienie bezpieczeństwa w przechowywaniu i przekazywaniu informacji. Można zauważyć iż organizacje nie są doskonałe w takim sensie, że faktyczny poziom bezpieczeństwa może odbiegać od oczekiwanego. Na dłuższą metę taka sytuacja nie może być tolerowana. Dla wielu organizacji bezpieczeństwo nie stanowi istotnego zagadnienia ale wymagane jest przez otoczenie. Studia nad praktycznymi regulacjami często ujawniają rozbieżności pomiędzy sytuacją faktyczną a pożądanym działaniem. Wtedy lepiej jest skopiować politykę bezpieczeństwa od partnerów aniżeli ją ignorować. Należy zwrócić uwagę, że wymagania bezpieczeństwa mogą się zmieniać podczas działalności organizacji. Wpływ na nie mogą mieć przykładowo podpisane kontrakty z partnerami. (fragment tekstu)
EN
The security policy is one of important problems during designing business processes. Deontic logic is a proper formalism for specification security policy in organisations. Classical deontic logic is enforced by supplementary operators (Do, Exec) representing actions. (original abstract)
Twórcy
  • Akademia Ekonomiczna im. Karola Adamieckiego w Katowicach
Bibliografia
  • ---
  • Kalinowski J.: Logika norm. Instytut Wydawniczy "Dai- monion", Lublin, 1993
  • Porn I.: Action theory and social science, Some formal models, vol. 120 of Synthese Library, Reidel Dordrecht, 1977. Swirydowicz K.: Logiczne teorie obowiązku warunkowego. Wydawnictwo Naukowe UAM, Poznań, 1995. von Wright G.: An essay in deontic logic and the general theory of action. North-Holland, Amsterdam, 1968
  • Ziemba Z.: Analityczna teoria obowiązku. Studium z logiki deontycznej. PWN, Warszawa, 1983
  • Ziemba Z.: Logika deontyczna. in: Marciszewski W. /ed/: Logika formalna. Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki. PWN, Warszawa, 1987
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171298869

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.