Sciweavers

8623 search results - page 68 / 1725
» Software engineering for secure systems
Sort
View
104
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
Automated security testing of web widget interactions
Cor-Paul Bezemer, Ali Mesbah, Arie van Deursen
122
Voted
ESSOS
2010
Springer
16 years 14 days ago
Model-Driven Security Policy Deployment: Property Oriented Approach
Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...
QSIC
2008
IEEE
15 years 10 months ago
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenron...
110
Voted
ADAEUROPE
2006
Springer
15 years 9 months ago
Secure Execution of Computations in Untrusted Hosts
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Ri...
117
Voted
ICFEM
2009
Springer
15 years 1 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang