Eduard K. de Jong Frz

According to our database1, Eduard K. de Jong Frz authored at least 3 papers between 1996 and 1997.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
Using formal methods to cultivate trust in smart card operating systems.
Future Generation Comp. Syst., 1997

1996
Structuring and Visualising an IC-card Security Standard.
Proceedings of the Second Smart Card Research and Advanced Application Conference, 1996

Using formal methods to cultivate trust in Smart Card Operating Systems.
Proceedings of the Second Smart Card Research and Advanced Application Conference, 1996


  Loading...