Search Sciweavers | Sciweavers

6555 search results - page 43 / 1311

» Secure attribute-based systems

click to vote

COMPSAC
2003
IEEE

152views Software Engineering» more COMPSAC 2003»

A Security Characterisation Framework for Trustworthy Component Based Software Systems

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

click to vote

ESORICS
2009
Springer

152views Security Privacy» more ESORICS 2009»

Secure Ownership and Ownership Transfer in RFID Systems

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

click to vote

SAFECOMP
2007
Springer

121views Security Privacy» more SAFECOMP 2007»

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

14 years 2 months ago