Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540261810, 9783540315568
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Formal Security Analysis of an OSA/Parlay Authentication Interface

2005 ◽  
pp. 131-146 ◽  
Author(s):  
Ricardo Corin ◽  
Gaetano Di Caprio ◽  
Sandro Etalle ◽  
Stefania Gnesi ◽  
Gabriele Lenzini ◽  
...  
Keyword(s):  
Security Analysis

scholarly journals An Abstract Machine for the Kell Calculus

2005 ◽  
pp. 31-46 ◽  
Author(s):  
Philippe Bidinger ◽  
Alan Schmitt ◽  
Jean-Bernard Stefani
Keyword(s):  
Abstract Machine
Load More ...
Sign in / Sign up

Export Citation Format

Share Document