187 search results - page 27 / 38 » Secure information flow and program logics |
131
click to vote
CASES
2004
ACM
15 years 9 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
124
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
137
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...
110
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
144
click to vote
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...