eXtensible Multi Security: Infrastruktura bezpiecze ´ nstwa dla platformy .NET
@inproceedings{Zychla2008eXtensibleMS, title={eXtensible Multi Security: Infrastruktura bezpiecze ´ nstwa dla platformy .NET}, author={Wiktor Zychla and L. Pacholski}, year={2008} }
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
Figures, Tables, and Topics from this paper
References
SHOWING 1-10 OF 52 REFERENCES
Model-carrying code: a practical approach for safe execution of untrusted applications
- Computer Science
- SOSP '03
- 2003
- 208
- PDF
Verification of Sequential and Concurrent Programs
- Computer Science, Physics
- Texts in Computer Science
- 2009
- 147
- PDF