ISICT 2003 | Sciweavers

17

ISICT
2003

165views Information Technology» more ISICT 2003»

On the automated implementation of modal logics used to verify security protocols

13 years 6 months ago

: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...

Tom Coffey, Reiner Dojen, Tomas Flanagan

claim paper

Read More »

10

click to vote

ISICT
2003

84views Information Technology» more ISICT 2003»

Topic maps for context management

13 years 6 months ago

Download www.m-zones.org

Abstract. The advent of context-aware computing requires a new paradigm in information management. Context information in a computing environment will take the form of disparate an...

Ruaidhri Power

claim paper

Read More »

16

click to vote

ISICT
2003

174views Information Technology» more ISICT 2003»

Applications considered harmful for ambient systems

13 years 6 months ago

Download www.simondobson.org

The notion of application – a single, bounded piece of functionality presented to users – goes almost unquestioned. However in the context of highly adaptive and ambient system...

Simon Dobson

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers