Sciweavers

6137 search results - page 131 / 1228
» Securing Collaborative Applications
Sort
View
ACL2
2006
ACM
15 years 8 months ago
A robust machine code proof framework for highly secure applications
David S. Hardin, Eric W. Smith, William D. Young
CAV
2005
Springer
196views Hardware» more  CAV 2005»
15 years 7 months ago
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Alessandro Armando, David A. Basin, Yohan Boichut,...
GECCO
2005
Springer
100views Optimization» more  GECCO 2005»
15 years 7 months ago
Improving network applications security: a new heuristic to generate stress testing data
Concettina Del Grosso, Giuliano Antoniol, Massimil...
84
Voted
CASSIS
2004
Springer
15 years 7 months ago
A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices
William R. Bush, Antony Ng, Douglas N. Simon, Bern...