Sciweavers

5843 search results - page 86 / 1169

» Software Security in Practice

120

Voted

APSEC
2005
IEEE

122views Software Engineering» more APSEC 2005»

Integrating Safety and Security Requirements into Design of an Embedded System

15 years 9 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 »

98

Voted

COMPSAC
2005
IEEE

94views Software Engineering» more COMPSAC 2005»

Rule Languages for Security and Privacy in Cooperative Systems

15 years 9 months ago

Rule Languages for Security and Privacy in Cooperative Systems

Download rewerse.net

Piero A. Bonatti

claim paper

Read More »

86

Voted

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

15 years 9 months ago

Code security analysis with assertions

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

120

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

15 years 9 months ago

Making distributed systems secure with program analysis and transformation

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

99

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 9 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 »