Sciweavers

5843 search results - page 86 / 1169

» Software Security in Practice

26

APSEC
2005
IEEE

122views Software Engineering» more APSEC 2005»

Integrating Safety and Security Requirements into Design of an Embedded System

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

21

COMPSAC
2005
IEEE

94views Software Engineering» more COMPSAC 2005»

Rule Languages for Security and Privacy in Cooperative Systems

14 years 2 months ago

Rule Languages for Security and Privacy in Cooperative Systems

Download rewerse.net

Piero A. Bonatti

claim paper

Read More »

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 »

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