1746 search results - page 229 / 350 » A Constructive Semantics for ALC |
83
Voted
CSFW
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
RSP
2000
IEEE
15 years 5 months ago
2000
IEEE
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
103
click to vote
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
93
Voted
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes Mo’K, a configurable workbench that supports the development of conceptual clustering methods for ontology building. Mo’K is intended to assist ontology de...