![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
PLAS@PLDI 2006: Ottawa, Ontario, Canada
- Vugranam C. Sreedhar, Steve Zdancewic:
Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006. ACM 2006, ISBN 1-59593-374-3 - David A. Wagner:
Object capabilities for security. 1-2
Authorization and monitoring
- Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh:
Applying flow-sensitive CQUAL to verify MINIX authorization check placement. 3-6 - Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider:
Certified In-lined Reference Monitoring on .NET. 7-16
Finding security flaws
- Hiroshi Unno
, Naoki Kobayashi
, Akinori Yonezawa:
Combining type-based analysis and model checking for finding counterexamples against non-interference. 17-26 - Nenad Jovanovic, Christopher Kruegel, Engin Kirda:
Precise alias analysis for static detection of web application vulnerabilities. 27-36
Structuring secure systems
- Jeff Polakow, Christian Skalka:
Specifying distributed trust management in LolliMon. 37-46 - Xiaoqi Lu, Scott F. Smith:
A microkernel virtual machine: : building security with clear interfaces. 47-56
Secure information flow
- Michael Yanguo Liu, Issa Traoré:
Empirical relation between coupling and attackability in software systems: : a case study on DOS. 57-64 - Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks
:
Trusted declassification: : high-level policy for a security-typed language. 65-74 - Scott F. Smith, Mark Thober:
Refactoring programs to secure information flows. 75-84 - Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller:
Efficient type inference for secure information flow. 85-94
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.