1779 search results - page 104 / 356 » A Formal Model of Data Privacy |
114
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
141
click to vote
CCS
1998
ACM
15 years 8 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
126
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we describe data support in an information system to support contextual, online negotiation of privacy contracts for e-commerce on the Semantic Web. Context is impo...
135
click to vote
KDD
2003
ACM
16 years 4 months ago
2003
ACM
Recent proposals to apply data mining systems to problems in law enforcement, national security, and fraud detection have attracted both media attention and technical critiques of...
124
click to vote
ACISP
2000
Springer
15 years 8 months ago
2000
Springer
This paper examines the impact of the primary symmetric key cryptographic operation on network data streams, encryption of user data, have on the overall tra c throughput. The encr...