48 search results - page 5 / 10 » Secure Data Flow in a Calculus for Context Awareness |
179
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
102
Voted
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
92
Voted
DBSEC
2008
15 years 1 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...