Period of time： 2004年1期
Publisher： Elsevier
Founded in： 1995
Total resources： 23
ISSN： 1571-0661
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 32,issue 1
Menu
Electronic Purse Applet Certification - extended abstract
By Bieber P., Cazin J., Wiels V., Zanon G., Girard P., Lanet J.-L. in (2004)
Electronic Notes in Theoretical Computer Science,volume 32,issue 1 , Vol. 32, Iss. 1, 2004-01 , pp.
Access to resources
Recommend
Power Simulation and its Relation to Traces and Failures Refinement
Electronic Notes in Theoretical Computer Science,volume 32,issue 1 , Vol. 32, Iss. 1, 2004-01 , pp.Formally Defining Security Properties with Relations on Streams
Electronic Notes in Theoretical Computer Science,volume 32,issue 1 , Vol. 32, Iss. 1, 2004-01 , pp.Cryptographic Security of Reactive Systems - (Extended Abstract)
By Pfitzmann B., Schunter M., Waidner M. in (2004)
Electronic Notes in Theoretical Computer Science,volume 32,issue 1 , Vol. 32, Iss. 1, 2004-01 , pp.Flexibility and Interoperability in CORBA Security
By Lang U., Schreiner R. in (2004)
Electronic Notes in Theoretical Computer Science,volume 32,issue 1 , Vol. 32, Iss. 1, 2004-01 , pp.