5255 search results - page 154 / 1051 » Formal Methods for Privacy |
128
Voted
SP
1998
IEEE
15 years 7 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
131
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
109
Voted
ETRICS
2006
15 years 7 months ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...
111
click to vote
ASWEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
121
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...