5255 search results - page 169 / 1051 » Formal Methods for Privacy |
210
click to vote
INTERACT
2007
15 years 8 months ago
2007
Abstract. Policies, sets of rules that govern permission to access resources, have long been used in computer security and online privacy management; however, the usability of auth...
222
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
Server-based collaborative filtering systems have been very successful in e-commerce and in direct recommendation applications. In future, they have many potential applications in...
161
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
172
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
216
click to vote
IFIP13
2004
15 years 8 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...