Search Sciweavers | Sciweavers

4111 search results - page 106 / 823

» Security, Protocols, and Trust

click to vote

SACMAT
2005
ACM

107views Control Systems» more SACMAT 2005»

Adaptive trust negotiation and access control

14 years 3 months ago

Download isrl.cs.byu.edu

Electronic transactions regularly occur between business partners in separate security domains. Trust negotiation is an approach that provides an open authentication and access-co...

Tatyana Ryutov, Li Zhou, B. Clifford Neuman, Travi...

claim paper

Read More »

click to vote

CCS
2010
ACM

149views Security Privacy» more CCS 2010»

Assessing trust in uncertain information using Bayesian description logic

13 years 8 months ago

Download www.usukita.org

Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...

Achille Fokoue, Mudhakar Srivatsa, Robert Young

claim paper

Read More »

click to vote

CISIS
2010
IEEE

173views Software Engineering» more CISIS 2010»

Extending Security-by-Contract with Quantitative Trust on Mobile Devices

14 years 5 months ago

Download www.di.unipi.it

Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...

Gabriele Costa, Nicola Dragoni, Aliaksandr Lazousk...

claim paper

Read More »

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

14 years 3 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »