Search Sciweavers | Sciweavers

1757 search results - page 7 / 352

» Secure Content Validation

click to vote

ADAEUROPE
2009
Springer

123views Software Engineering» more ADAEUROPE 2009»

Validating Safety and Security Requirements for Partitioned Architectures

14 years 2 months ago

Download www.aadl.info

Julien Delange, Laurent Pautet, Peter H. Feiler

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 27 days ago

Download avispa-project.org

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

claim paper

Read More »

click to vote

ACNS
2010
Springer

125views Cryptology» more ACNS 2010»

On the Broadcast and Validity-Checking Security of pkcs#1 v1.5 Encryption

14 years 5 days ago

Download eprint.iacr.org

Aurélie Bauer, Jean-Sébastien Coron,...

claim paper

Read More »

click to vote

FMCO
2006
Springer

80views Formal Methods» more FMCO 2006»

JACK - A Tool for Validation of Security and Behaviour of Java Applications

13 years 11 months ago

Download fmco.liacs.nl

Gilles Barthe, Lilian Burdy, Julien Charles, Benja...

claim paper

Read More »

click to vote

FLAIRS
2001

149views Artificial Intelligence» more FLAIRS 2001»

Secure Systems Development -- The Evolving Integration of Validation and Verification

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers