2687 search results - page 87 / 538 » Formal Analysis of PKCS |
136
click to vote
TDSC
2008
15 years 16 days ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
95
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
104
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
137
click to vote
ITP
2010
15 years 2 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
138
Voted
TII
2008
15 years 16 days ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...