Keyword: LOTOS : Search

Applied Filters

People

Publications

Publication Date

3 Results for: Keyword: LOTOSEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,790,113 records)|Limit your search to The ACM Full-Text Collection (766,398 records)

Showing 1 - 3of3 Results

Select All

Export Citations Save to Binder

per page:

Recency

article
July 2000
Verification of security protocols using LOTOS-method and application
- G. Leduc,
- F. Germeau
Computer Communications (COMS), Volume 23, Issue 12Pages 1089–1103https://doi.org/10.1016/S0140-3664(99)00239-X

We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety properties and how a model-based verification method can be used to verify the ...
4
Metrics
Total Citations4
article
February 1997
An introduction to ET-LOTOS for the description of time-sensitive systems
- Luc Léonard,
- Guy Leduc
Computer Networks and ISDN Systems (CNET), Volume 29, Issue 3Pages 271–292https://doi.org/10.1016/S0169-7552(96)00078-5
8
Metrics
Total Citations8
article
August 1992
A framework based on implementation relations for implementing LOTOS specifications
- Guy Leduc
Computer Networks and ISDN Systems (CNET), Volume 25, Issue 1Pages 23–41https://doi.org/10.1016/0169-7552(92)90122-7
8
Metrics
Total Citations8