2687 search results - page 301 / 538 » Formal Analysis of PKCS |
147
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...
165
click to vote
CSFW
2007
IEEE
16 years 29 days ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
166
click to vote
FDL
2007
IEEE
16 years 29 days ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
151
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this ki...
178
Voted
ESORICS
2007
Springer
16 years 24 days ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...