Learn More
In this paper we address security of semantic Web services that are declaratively described in OWLS. We propose ontologies to annotate OWLS input and output parameters with respect to their security characteristics, including encryption and digital signatures. Moreover, we propose to incorporate privacy and authenti-cation policies into OWLS descriptions(More)
Semantic Web Services (SWSs) promise to provide solutions to the challenges associated with automated discovery, dynamic composition , enactment, and other tasks associated with managing and using service-based systems. One of the barriers to a wider adoption of SWS technology is the lack of tools for creating SWS specifications. OWLS is one of the major(More)
— We present Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that oppor-tunistically share spectrum. A Policy Reasoner validates radio transmissions to ensure that they are compliant with the spectrum policies. The Policy Reasoner also discovers spectrum sharing opportunities by(More)
— Secure communication generally begins with a connection establishment phase in which messages are exchanged by client and server protocol software to generate, share, and use secret data or keys. This message exchange is referred to as an authentication or key distribution cryptographic protocol. CAPSL is a formal language for specifying cryptographic(More)
Within the compound project KorSo our team is concerned with the research on techniques and methods for the development of reliable information systems on the basis of formal speciications. Our work focuses on the speciication language TROLL light which allows to describe the part of the world which is to be modeled as a community of concurrently existing(More)