2687 search results - page 175 / 538 » Formal Analysis of PKCS |
150
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
126
click to vote
AGP
1997
IEEE
15 years 8 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
124
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
119
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
121
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...