Sciweavers

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