scientific article; zbMATH DE number 1848381

zbMATH Open1002.68633MaRDI QIDQ4785551

Rajeev Goré, Phuong Thê Nguyên

Publication date: 5 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2140/21400111

Title of this publication is not available (Why is that?)

zbMATH Keywords

modal deductionsecurity of mobile code

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Related Items (1)

Model checking Russian cards

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4785551)