Search Sciweavers | Sciweavers

946 search results - page 11 / 190

» Software engineering for security: a roadmap

Voted

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

15 years 5 months ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 5 months ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

click to vote

VMCAI
2004
Springer

88views Software Engineering» more VMCAI 2004»

Security, Protocols, and Trust

15 years 5 months ago

Download dimacs.rutgers.edu

Joshua D. Guttman

claim paper

Read More »

click to vote

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

15 years 5 months ago

Download www.zurich.ibm.com

Christian Cachin

claim paper

Read More »

click to vote

AC
1998
Springer

127views Software Engineering» more AC 1998»

Practice-Oriented Provable Security

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers