1779 search results - page 143 / 356 » A Formal Model of Data Privacy |
135
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
176
Voted
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
141
click to vote
PCI
2001
Springer
15 years 9 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
132
click to vote
CBMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
161
Voted
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...