Search
Best results in : Research Potential Pokaż wszystkie wyniki (7)
Search results for: DOWÓD ZAUFANIA
-
Zespół Katedry Równań Różniczkowych i Zastosowań Matematyki
Research Potential* topologiczne niezmienniki w teorii układów dynamicznych i ich zastosowania * teoria punktów stałych i periodycznych * metody matematyczne w kardiologii * miary złożoności i ich zastosowania * modele strukturalne z dyfuzją i warunkami brzegowymi Fellera * modelowanie ekspresji genu białka Hes1 * równania McKendrick-von Foerster z warunkiem odnowy * modelowanie termicznej ablacji za pomocą równania bio-przewodnictwa ciepła * soczewkowanie...
-
Information Assurance Group (IAG)
Research PotentialGrupa koncentruje się na zarządzaniu ryzykiem i zaufaniem w odniesieniu do różnych cech oprogramowania i systemów informatycznych, np. Bezpieczeństwa, niezawodności i prywatności. Szczególnie interesujące jest pojęcie Trust Case i powiązanej metodologii Trust-it.
-
Katedra Przedsiębiorczości i Prawa Gospodarczego
Research PotentialZatrudnieni w niej pracownicy wywodzą się z różnych katedr i reprezentują kilka dyscyplin naukowych, które wiążą się z przedsiębiorczością. Zajmujemy się ekonomią, zarządzaniem, prawem, psychologią, czyli naukami, w których przedsiębiorczość jest jednym z istotnych analizowanych zjawisk. Dzięki zróżnicowaniu dyscyplin, które reprezentujemy, realizujemy wielostronne badania dotyczące - poza przedsiębiorczością - także samego przedsiębiorcy...
Other results Pokaż wszystkie wyniki (8)
Search results for: DOWÓD ZAUFANIA
-
Trust Case: justifying trust in an IT solution
PublicationW artykule prezentujemy podejście wykorzystane przy budowie dowodu zaufania (ang. trust case) do DRIVE, infrastruktury informatycznej wspomagającej dystrybucję i podawanie leków. Cele DRIVE obejmowały bezpieczniejszą i mniej kosztowną dystrybucję leków. Dowód zaufania reprezentuje argumentację przemawiającą za tym, że DRIVE jest godne zaufania. Składa się on z żądań (ang. claims) postulujących pewne związane z zaufaniem własności...
-
Supporting Compliance with Security Standards by Trust Case Templates
PublicationTrust Cases are used to justify that a given object (a system, an infrastructure, an organization) exhibits certain properties. One of possible applications of trust cases is related to the processes of achieving and demonstrating the compliance with standards. A Trust Case Template derived from a given standard constitutes a skeleton of justification (encompassing evidence and argumentation) of the compliance with the standard....
-
Supporting compliance with safety standards by trust case templates
PublicationStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
Support for argument structures review and assessment
PublicationArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...
-
Expert assessment of arguments: a method and its experimental evaluation
PublicationArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...