Sciweavers

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