Sciweavers

8503 search results - page 85 / 1701

» Secure Software Architectures

17

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

14 years 2 months ago

Code security analysis with assertions

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

26

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

14 years 2 months ago

Making distributed systems secure with program analysis and transformation

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

25

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

14 years 2 months ago

Security Types Preserving Compilation: (Extended Abstract)

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

26

VMCAI
2004
Springer

88views Software Engineering» more VMCAI 2004»

Security, Protocols, and Trust

14 years 2 months ago

Security, Protocols, and Trust

Download dimacs.rutgers.edu

Joshua D. Guttman

claim paper

Read More »

23

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

14 years 2 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 »