3605 search results - page 268 / 721 » Securing Security Policies in Autonomic Computing Systems |
145
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
163
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern cars offer an increasingly powerful Multimedia environment. While also the potential for an application as Human Computer Interface (HCI) is growing, in this paper we conce...
213
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Data stream management systems (DSMSs) process continuous queries over streaming data in real-time adhering to quality of service requirements. The data streams generated from sen...
183
click to vote
SACMAT
2006
ACM
16 years 18 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
172
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
There is a large gap between the theory and practice for random number generation. For example, on most operating systems, using /dev/random to generate a 256-bit AES key is highl...