Sciweavers

8503 search results - page 85 / 1701

» Secure Software Architectures

73

Voted

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

15 years 8 months ago

Code security analysis with assertions

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

110

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

15 years 8 months ago

Making distributed systems secure with program analysis and transformation

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

88

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 7 months ago

Security Types Preserving Compilation: (Extended Abstract)

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

100

VMCAI
2004
Springer

88views Software Engineering» more VMCAI 2004»

Security, Protocols, and Trust

15 years 7 months ago

Security, Protocols, and Trust

Download dimacs.rutgers.edu

Joshua D. Guttman

claim paper

Read More »

91

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

15 years 7 months ago

Modeling Complexity in Secure Distributed Computing

Download www.zurich.ibm.com

Christian Cachin

claim paper

Read More »

« Prev « First page 85 / 1701 Last » Next »