Sciweavers

244 search results - page 21 / 49
» Dynamic Dependency Monitoring to Secure Information Flow
Sort
View
SACMAT
2009
ACM
16 years 11 days ago
A decision support system for secure information sharing
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi,...
CSFW
2006
IEEE
15 years 12 months ago
Securing Interaction between Threads and the Scheduler
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
Alejandro Russo, Andrei Sabelfeld
DEXAW
1999
IEEE
120views Database» more  DEXAW 1999»
15 years 10 months ago
Dynamic Data Delivery to Mobile Users
We propose an information push model information dissemination to mobile users, called dynamic channel model. It is a set of extensions to the conceptual models developed for info...
Ana Paula Afonso, Francisco S. Regateiro, Má...
IPAW
2010
15 years 3 months ago
Securing Provenance-Based Audits
Given the significant increase of on-line services that require personal information from users, the risk that such information is misused has become an important concern. In such ...
Rocío Aldeco-Pérez, Luc Moreau
ICFP
2010
ACM
15 years 7 months ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata