Sciweavers

1599 search results - page 9 / 320
» Program Analysis for Security and Privacy
Sort
View
CCS
2006
ACM
13 years 9 months ago
Vulnerability analysis For evaluating quality of protection of security policies
Muhammad Abedin, Syeda Nessa, Ehab Al-Shaer, Latif...
CRISIS
2008
13 years 9 months ago
Formal procedural security modeling and analysis
We are involved in a project related to the evaluation
Komminist Weldemariam, Adolfo Villafiorita
FOSAD
2009
Springer
14 years 2 months ago
Resource Usage Analysis and Its Application to Resource Certification
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...