Sciweavers

5843 search results - page 86 / 1169

» Software Security in Practice

155

APSEC
2005
IEEE

122views Software Engineering» more APSEC 2005»

Integrating Safety and Security Requirements into Design of an Embedded System

15 years 11 months ago

Integrating Safety and Security Requirements into Design of an Embedded System

Download www.behaviorengineering.org

Saad Zafar, R. Geoff Dromey

claim paper

Read More »

116

COMPSAC
2005
IEEE

94views Software Engineering» more COMPSAC 2005»

Rule Languages for Security and Privacy in Cooperative Systems

15 years 11 months ago

Rule Languages for Security and Privacy in Cooperative Systems

Download rewerse.net

Piero A. Bonatti

claim paper

Read More »

105

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

15 years 11 months ago

Code security analysis with assertions

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

137

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

15 years 11 months ago

Making distributed systems secure with program analysis and transformation

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

123

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 11 months ago

Security Types Preserving Compilation: (Extended Abstract)

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

« Prev « First page 86 / 1169 Last » Next »