Sciweavers

6137 search results - page 131 / 1228
» Securing Collaborative Applications
Sort
View
136
Voted
ACL2
2006
ACM
15 years 11 months ago
A robust machine code proof framework for highly secure applications
David S. Hardin, Eric W. Smith, William D. Young
167
Voted
CAV
2005
Springer
196views Hardware» more  CAV 2005»
15 years 10 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 10 months ago
Improving network applications security: a new heuristic to generate stress testing data
Concettina Del Grosso, Giuliano Antoniol, Massimil...
CASSIS
2004
Springer
15 years 10 months ago
A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices
William R. Bush, Antony Ng, Douglas N. Simon, Bern...