3420 search results - page 143 / 684 » A Language-Based Approach to Security |
126
Voted
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...
116
Voted
SEC
2001
15 years 5 months ago
2001
Abstract When people want to schedule a meeting, their agendas must be compared to find a time suitable for all participants. At the same time, people want to keep their agendas pr...
152
click to vote
CAI
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
159
Voted
ENTCS
2007
15 years 3 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
175
Voted
SERP
2010
15 years 1 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...