5255 search results - page 325 / 1051 » Formal Methods for Privacy |
148
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
168
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
142
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
104
click to vote
ACSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
We present and evaluate various methods for purely automated attacks against click-based graphical passwords. Our purely automated methods combine click-order heuristics with focu...
132
click to vote
OOPSLA
1992
Springer
15 years 8 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...