1556 search results - page 186 / 312 » Information Envelope and its Information Integrity Implicati... |
151
click to vote
CARDIS
1998
Springer
15 years 10 months ago
1998
Springer
We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card t...
163
click to vote
APSEC
1997
IEEE
15 years 10 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
164
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The next generation Grid will demand the Grid middleware to provide flexibility, transparency, and reliability. This implies the appliance of service level agreements to guarantee...
138
click to vote
ECAIW
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
188
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...