![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
PLAS@PLDI 2008: Tucson, AZ, USA
- Úlfar Erlingsson, Marco Pistoia:
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. ACM 2008, ISBN 978-1-59593-936-4
Language-based security
- Fabio Massacci
, Ida Sri Rejeki Siahaan
:
Simulating midlet's security claims with automata modulo theory. 1-9 - Kevin W. Hamlen, Micah Jones:
Aspect-oriented in-lined reference monitors. 11-20 - Nikhil Swamy, Michael Hicks
:
Verified enforcement of stateful information release policies. 21-32
Software protection and verification
- Clifford Liem, Yuan Xiang Gu, Harold Johnson:
A compiler-based infrastructure for software-protection. 33-44 - Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin:
A security domain model to assess software for exploitable covert channels. 45-56 - Christian Hammer
, Rüdiger Schaade, Gregor Snelting:
Static path conditions for Java. 57-66
Program analysis for security and policy enforcement
- James Cheney
, Morten Dahl:
Resource bound analysis for database queries. 67-78 - Dejan Baca, Bengt Carlsson, Lars Lundberg:
Evaluating the cost reduction of static code analysis for software security. 79-88 - Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani:
A type system for data-flow integrity on windows vista. 89-100 - Miranda Mowbray, Antonio Lain:
Dominator-tree analysis for distributed authorization. 101-112
Information-flow security
- Riccardo Focardi
, Matteo Centenaro:
Information flow security of multi-threaded distributed programs. 113-124 - Lantian Zheng, Andrew C. Myers:
Securing nonintrusive web encryption through information flow. 125-134 - Pasquale Malacaria, Han Chen:
Lagrange multipliers and maximum information leakage in different observational models. 135-146
![](https://dblp1.uni-trier.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.