143 search results - page 6 / 29 » Language-Based Information Erasure |
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
PET
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
DCC
2009
IEEE
14 years 2 months ago
2009
IEEE
The multicasting of an independent and identically distributed Gaussian source over a binary erasure broadcast channel is considered. This model applies to a one-to-many transmiss...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
Traditionally, Human-Computer Interaction (HCI) is a highly interdisciplinary field bridging the research between psychological research and computer science. This paper places gr...
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
Abstract. Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer's toolkit, but progress has been limit...