791 search results - page 135 / 159 » Users and Trust in Cyberspace |
156
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
145
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
143
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
: E-Science often requires access to remote Grid computing platforms. Current authorization systems on these remote systems have largely based decisions solely on the identity of t...
123
click to vote
NSDI
2007
15 years 8 months ago
2007
Access control misconfigurations are widespread and can result in damaging breaches of confidentiality. This paper presents TightLip, a privacy management system that helps user...
168
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Instant Messaging is in addition to Web and Email the most popular service on the Internet. With xOperator we demonstrate the implementation of a strategy which deeply integrates I...