5255 search results - page 278 / 1051 » Formal Methods for Privacy |
166
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
113
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
137
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
139
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
133
click to vote
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
Service-oriented systems facilitate business workflows to span multiple organizations (e.g. by means of Web services). As a side effect, data may be more easily transferred over o...