{"id":"W1497142724","doi":"10.1007/11554578_5","title":"Formal Methods for Smartcard Security","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Smart card; Computer security; Flexibility (engineering); Computer science; Java Card; Interoperability; Confidentiality; Reliability (semiconductor); Operating system; Embedded system; Java; Java applet","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003165153,0.000562843,0.0006223643,0.000729317,0.0005617696,0.00071472,0.00431891,0.0004526727,0.00002197836],"category_scores_gemma":[0.0002249301,0.0005647251,0.0002866676,0.0005617964,0.0005019623,0.001114528,0.001558636,0.0008677909,0.00002970471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003663543,"about_ca_system_score_gemma":0.0006063487,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007811744,"about_ca_topic_score_gemma":0.00002088607,"domain_scores_codex":[0.9958025,0.00007141534,0.0007455515,0.001749416,0.0006477092,0.000983431],"domain_scores_gemma":[0.9958264,0.001465243,0.0004109429,0.001656028,0.0004225759,0.0002188523],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004977261,0.00002005933,0.000005030383,0.00004046324,0.000009778041,0.000003571115,0.0009593831,0.004562328,0.00003766302,0.1296011,0.00003962011,0.864716],"study_design_scores_gemma":[0.000248226,0.0001034336,0.00001509401,0.0001186936,0.000007460921,0.00004488343,1.491512e-7,0.6741783,0.001783829,0.2790987,0.04383386,0.0005673981],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001449018,0.000748932,0.9896624,0.001203669,0.003132754,0.0006654232,0.000006824586,0.0002881413,0.004277366],"genre_scores_gemma":[0.01539918,0.00003880295,0.9810588,0.001887489,0.001359583,0.00002803866,0.000007728063,0.00003476638,0.0001856534],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8641486,"threshold_uncertainty_score":0.9996804,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03230149285297806,"score_gpt":0.3262644233856958,"score_spread":0.2939629305327178,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}