415 search results - page 53 / 83 » A New RFID Privacy Model |
152
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
103
Voted
UIALL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
111
Voted
ACSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The threat to organisations from network attacks is very real. Current countermeasures to denial of service (DoS) attacks rely on the perimeter model of network security. However,...
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
109
click to vote
FOSAD
2000
Springer
15 years 5 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...