Search Sciweavers | Sciweavers

18697 search results - page 279 / 3740

» Systemic Security Management

166

click to vote

COMPSAC
2003
IEEE

152views Software Engineering» more COMPSAC 2003»

A Security Characterisation Framework for Trustworthy Component Based Software Systems

15 years 12 months ago

Download www.inf.ufsc.br

This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...

Khaled M. Khan, Jun Han

claim paper

Read More »

173

click to vote

ESORICS
2009
Springer

152views Security Privacy» more ESORICS 2009»

Secure Ownership and Ownership Transfer in RFID Systems

16 years 7 months ago

Download satoss.uni.lu

We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pi...

claim paper

Read More »

215

click to vote

SIGMOD
2011
ACM

204views Database» more SIGMOD 2011»

Oracle database filesystem

14 years 9 months ago

Download www.oracle.com

Modern enterprise, web, and multimedia applications are generating unstructured content at unforeseen volumes in the form of documents, texts, and media files. Such content is gen...

Krishna Kunchithapadam, Wei Zhang, Amit Ganesh, Ni...

claim paper

Read More »

164

click to vote

SAFECOMP
2007
Springer

121views Security Privacy» more SAFECOMP 2007»

Establishing Evidence for Safety Cases in Automotive Systems - A Case Study

16 years 22 days ago