3420 search results - page 103 / 684 » A Language-Based Approach to Security |
152
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
138
click to vote
JPDC
2007
15 years 3 months ago
2007
High quality of security is increasingly critical for applications running on heterogeneous distributed systems. However, existing scheduling algorithms for heterogeneous distribu...
141
click to vote
TRUSTBUS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Current challenges on the markets cause companies to interact with one another and strive after becoming members of virtual organizations assuming that in doing so they c...
140
click to vote
ISSA
2008
15 years 5 months ago
2008
The approach to information security governance has predominantly followed a functionalist paradigm with emphasis placed on formalized rule structures and policy frameworks. The a...
115
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...