12478 search results - page 230 / 2496 » Secure Interaction Design |
144
click to vote
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
Recent advances in peer-to-peer (P2P) technologies will enable users to establish ubiquitous connectivity among their personal networked devices and those of others. Building on t...
147
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
136
click to vote
INTERACT
2007
15 years 5 months ago
2007
This paper presents Manas, a Semiotic Engineering epistemic tool for the design of collaborative systems (CoSys) whose aim is to expand the designers’ knowledge and awareness of ...
138
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...
125
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper articulates a system design for the secure role based messaging model built based on existing messaging systems, public key infrastructures, and a privilege management ...