共 50 条
- [1] Intra-personal kernel space for face recognition [J]. SIXTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION, PROCEEDINGS, 2004, : 235 - 240
- [2] Verifying the safety of user pointer dereferences [J]. PROCEEDINGS OF THE 2008 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 2008, : 325 - 338
- [3] Non-Finito Products: A New Design Space of User Creativity for Personal User Experience [J]. 32ND ANNUAL ACM CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI 2014), 2014, : 693 - 702
- [4] Personal Smart Space : IoT based User recognition and Device control [J]. 2016 IEEE TENTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2016, : 180 - 181
- [5] Verifying Liveness by Multiple Experts in Face Biometrics [J]. 2008 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS, VOLS 1-3, 2008, : 1200 - 1205
- [6] State Space Reduction for Verifying Noninterference [J]. 2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009, : 132 - 138
- [8] SEAVE - A MECHANISM FOR VERIFYING USER PRESUPPOSITIONS IN QUERY SYSTEMS [J]. ACM TRANSACTIONS ON OFFICE INFORMATION SYSTEMS, 1986, 4 (04): : 312 - 330
- [9] A method for formalizing, analyzing, and verifying secure user interfaces [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 55 - +
- [10] A method for formalizing, analyzing, and verifying secure user interfaces [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4260 LNCS : 55 - 73