Sciweavers

8623 search results - page 68 / 1725
» Software engineering for secure systems
Sort
View
SIGSOFT
2009
ACM
16 years 2 months ago
Automated security testing of web widget interactions
Cor-Paul Bezemer, Ali Mesbah, Arie van Deursen
ESSOS
2010
Springer
15 years 10 months ago
Model-Driven Security Policy Deployment: Property Oriented Approach
Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...
ADAEUROPE
2006
Springer
15 years 7 months ago
Secure Execution of Computations in Untrusted Hosts
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Ri...
ICFEM
2009
Springer
14 years 11 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang