Sökning: "policy and implementation assurance"

Hittade 5 avhandlingar innehållade orden policy and implementation assurance.

  1. 1. Policy and implementation assurance for software security

    Författare :John Wilander; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; IT-säkerhet; dataskydd; data protection; computer security; Computer science; Datavetenskap;

    Sammanfattning : To build more secure software, accurate and consistent security requirements must be specified. We have investigated current practice by doing a field study of eleven requirement specifications on IT systems. LÄS MER

  2. 2. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring

    Författare :Andreas Lundblad; Mads Dam; Gul Agha; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Runtime monitoring; policy enforcement; tree automata; monitor inlining; certification; concurrency;

    Sammanfattning : Reference monitor inlining is a technique for enforcing security policies by injecting security checks into the untrusted software in a style similar to aspect-oriented programming. The intention is that the injected code enforces compliance with the policy (security), without adding behavior (conservativity) or affecting existing policy compliant behavior (transparency). LÄS MER

  3. 3. Lightweight Inlined Reference Monitors for Securing Extensible and Open Systems

    Författare :Phu Phung; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Security; Inlined Reference Monitors; JavaScript; Vehicle Software Security;

    Sammanfattning : This thesis studies an alternative implementation of asecurity reference monitor in the contexts of extensible and opensystems. A security reference monitor is a classic approach to imposing asecurity policy on an otherwise untrusted system by using a trusted componentwhich intercepts security-relevant resource requests and applies a securitypolicy to decide whether to grant such requests. LÄS MER

  4. 4. Policies and mechanisms for secure information release

    Författare :Aslan Askarov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Security assurance is an important challenge for modern computing. Intentional information release (declassification) is often crucial for such assurance. Security-critical systems demand expressive policies for information release that are beyond what conventional security models may offer. LÄS MER

  5. 5. Teachers in action : att förändra och utveckla undervisning och lärande i engelska i de tidigare skolåren

    Författare :Gun Lundberg; Anders Garpelin; Anna Larsson; Inger Andersson; Umeå universitet; []
    Nyckelord :English; young learners; in-service; action research; teaching and learning;

    Sammanfattning : Sweden has for many years suffered from a shortage of teachers appropriately trained to teach English to young learners. In 1987 The Swedish National Agency for Higher Education decided that English should no longer be a compulsory subject within primary teacher training, instead it was offered as an optional subject within the primary teacher training programmes This policy decision had dire consequences and ultimately led to the current position which sees a mere 30 % of trainee Teachers opting for the English language pathway. LÄS MER