Sciweavers

8503 search results - page 238 / 1701

» Secure Software Architectures

135

CASES
2009
ACM

108views System Software» more CASES 2009»

Negotiation of security services: a multi-criteria decision approach

16 years 1 months ago

Negotiation of security services: a multi-criteria decision approach

Download www.alari.ch

Antonio Vincenzo Taddeo, Pierpaolo Marcon, Alberto...

claim paper

Read More »

111

ICFEM
2005
Springer

67views Software Engineering» more ICFEM 2005»

A Theory of Secure Control Flow

16 years 2 days ago

A Theory of Secure Control Flow

Download www.cs.princeton.edu

Martín Abadi, Mihai Budiu, Úlfar Erl...

claim paper

Read More »

122

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

16 years 1 days ago

Formal Analysis of Workflow Systems with Security Considerations

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

136

WCRE
2003
IEEE

81views Software Engineering» more WCRE 2003»

Using Program Transformation to Secure C Programs Against Buffer Overflows

15 years 12 months ago

Using Program Transformation to Secure C Programs Against Buffer Overflows

Download www.cse.yorku.ca

Christopher Dahn, Spiros Mancoridis

claim paper

Read More »

197

RTCSA
2005
IEEE

151views Embedded Systems» more RTCSA 2005»

Extending Software Communications Architecture for QoS Support in SDR Signal Processing

16 years 4 days ago

Extending Software Communications Architecture for QoS Support in SDR Signal Processing

Download redwood.snu.ac.kr

The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...

Jaesoo Lee, Jiyong Park, Seunghyun Han, Seongsoo H...

claim paper

Read More »

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