5255 search results - page 677 / 1051 » Formal Methods for Privacy |
172
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
People’s email communications can be modeled as graphs with vertices representing email accounts and edges representing email communications. Email communication data usually co...
209
click to vote
TRUST
2009
Springer
16 years 1 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
164
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Security requirements often have implicit assumptions about trust relationships among actors. The more actors trust each other, the less stringent the security requireme...
224
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
—Recently, mobile social software has become an active area of research and development. A multitude of systems have been proposed over the past years that try to follow the succ...
166
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...