Corpus ID: 61739727

eXtensible Multi Security: Infrastruktura bezpiecze ´ nstwa dla platformy .NET

  title={eXtensible Multi Security: Infrastruktura bezpiecze ´ nstwa dla platformy .NET},
  author={Wiktor Zychla and L. Pacholski},
  • Wiktor Zychla, L. Pacholski
  • Published 2008
  • Computer Science
  • Modern computer systems depend on many pieces of software gathered together to perform certain activities. That is why various forms of distributed systems are being developed where individual software components come from different developers. Such distributed systems bring a lot of freedom and convenience but when misused they can do a lot of damage. Thus, there is a deep need for various kinds of safety and security at different levels of a software life-cycle. In this work we investigate… CONTINUE READING


    Compiling with proofs
    • 226
    • Highly Influential
    • PDF
    Hoare logic for Java in Isabelle/HOL
    • 104
    • PDF
    Comparing Java and .NET security: Lessons learned and missed
    • 17
    • PDF
    A certifying compiler for Java
    • 211
    Oracle-based checking of untrusted software
    • 103
    • PDF
    A Proof-Carrying Code Architecture for Java
    • 32
    • PDF
    Typing a multi-language intermediate code
    • 97
    • Highly Influential
    • PDF
    Verification of Sequential and Concurrent Programs
    • 147
    • PDF
    Mathematical Models of Computer Security
    • P. Ryan
    • Computer Science, Mathematics
    • FOSAD
    • 2000
    • 94
    • PDF