Search Sciweavers | Sciweavers

6137 search results - page 131 / 1228

» Securing Collaborative Applications

click to vote

ACL2
2006
ACM

258views Computational Linguistics» more ACL2 2006»

A robust machine code proof framework for highly secure applications

14 years 3 months ago

Download www.ccs.neu.edu

David S. Hardin, Eric W. Smith, William D. Young

claim paper

Read More »

click to vote

WETICE
2005
IEEE

114views Emerging Technology» more WETICE 2005»

An Evaluation of Java Application Containers according to Security Requirements

14 years 2 months ago

Download nob.cs.ucdavis.edu

Almut Herzog, Nahid Shahmehri

claim paper

Read More »

click to vote

CAV
2005
Springer

196views Hardware» more CAV 2005»

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

14 years 2 months ago

Download avispa-project.org

Alessandro Armando, David A. Basin, Yohan Boichut,...

claim paper

Read More »

click to vote

GECCO
2005
Springer

100views Optimization» more GECCO 2005»

Improving network applications security: a new heuristic to generate stress testing data

14 years 2 months ago

Download www.cs.bham.ac.uk

Concettina Del Grosso, Giuliano Antoniol, Massimil...

claim paper

Read More »

click to vote

CASSIS
2004
Springer

97views Human Computer Interaction» more CASSIS 2004»

A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers