Search Sciweavers | Sciweavers

11603 search results - page 374 / 2321

» Embedded System Security

154

click to vote

JCS
2002

118views more JCS 2002»

Verified Formal Security Models for Multiapplicative Smart Cards

15 years 6 months ago

Download www.informatik.uni-augsburg.de

We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...

claim paper

Read More »

183

click to vote

LOGCOM
2006

82views more LOGCOM 2006»

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency

15 years 6 months ago

Download igitur-archive.library.uu.nl

Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...

Jan Broersen, Andreas Herzig, Nicolas Troquard

claim paper

Read More »

156

click to vote

SIGOPSE
2000
ACM

86views Operating System» more SIGOPSE 2000»

CryptoCache: a secure sharable file cache for roaming users

15 years 11 months ago

Download www.nd.edu

Christian Damsgaard Jensen

claim paper