Sökning: "standards of proof"

Visar resultat 11 - 15 av 29 avhandlingar innehållade orden standards of proof.

  1. 11. Digital Power of Attorney for Authorization in Industrial Cyber-Physical Systems

    Författare :Sreelakshmi Vattaparambil Sudarsan; Olov Schelén; Ulf Bodin; Jerker Delsing; Panagiotis Papadimitratos; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cyberfysiska system; Cyber-Physical Systems;

    Sammanfattning : Since ancient times, there has been a practice to authorize individuals that we trust. Today, we grant credentials and privileges digitally, making authorization a crucial part of security control and extending its use cases beyond people and web applications. LÄS MER

  3. 12. Soft proofing using liquid crystal displays

    Författare :Sara Leckner; KTH; []
    Nyckelord :displays; lcd; crt; premedia; prepress; soft proof; workflows;

    Sammanfattning : Development of colour management systems, the level ofstandardisation, as well as the embedding of facilities forcolour management into computer operating systems and software,enables successful future interoperability of colour reproductionin the graphic arts industry. Yet colour reproduction from onemedium to another, still gives rise to inconsistencies. LÄS MER

  4. 13. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

    Författare :Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Sammanfattning : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. LÄS MER

  5. 14. Portable Tools for Interoperable Grids : Modular Architectures and Software for Job and Workflow Management

    Författare :Johan Tordsson; Erik Elmroth; Ramin Yahyapour; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Grid computing; scheduling; resource brokering; performance predictions; advance reservations; coallocation; standards-based infrastructure; interoperability; service-oriented architecture; job management; workflows; data flow; Computer science; Datavetenskap;

    Sammanfattning : The emergence of Grid computing infrastructures enables researchers to shareresources and collaborate in more efficient ways than before, despite belongingto different organizations and being geographically distributed. While the Gridcomputing paradigm offers new opportunities, it also gives rise to newdifficulties. LÄS MER

  7. 15. Towards Automated Context-aware Vulnerability Risk Management

    Författare :Vida Ahmadi Mehri; Emiliano Casalicchio; Patrik Arlos; Stefan Axelsson; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Vulnerability Risk Management; VRM; Automated Context-Aware Vulnerability Risk Management; ACVRM; Information security; Computer Science; Datavetenskap;

    Sammanfattning : The information security landscape continually evolves with increasing publicly known vulnerabilities (e.g., 25064 new vulnerabilities in 2022). Vulnerabilities play a prominent role in all types of security related attacks, including ransomware and data breaches. LÄS MER