144 search results - page 23 / 29 » Information Flow Security in Dynamic Contexts |
SP
2010
IEEE
13 years 6 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
IWIA
2006
IEEE
14 years 2 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
MOBILITY
2009
ACM
14 years 1 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
ACSAC
1999
IEEE
14 years 27 days ago
1999
IEEE
Workflow systems provide automated support that enables organizations to efficiently and reliably move important data through their routine business processes. For some organizati...
SISW
2005
IEEE
14 years 2 months ago
2005
IEEE
Traditional storage systems have considered security as a problem to be solved at the perimeter: once a user is authenticated, each device internal to the system trusts the decisi...