[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Symbolic Test Case Generation for Primitive Recursive Functions
- 作者Grabowski, Jens; Nielsen, Brian
- 文件大小291.88KB
- 发表时间2005
- DOI10.1007/978-3-540-31848-4_2
- 页码16-32
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 ||Liu, Joseph K.; Samarati, Pierangela · 2017
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 || Outsourcing Encrypted Excel FilesLiu, Joseph K.; Samarati, Pierangela · 2017
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 || Linearly Homomorphic Signatures with Designated EntitiesLiu, Joseph K.; Samarati, Pierangela · 2017
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 || The ECCA Security of Hybrid EncryptionsLiu, Joseph K.; Samarati, Pierangela · 2017
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 || A User-Friendly Centrally Banked CryptocurrencyLiu, Joseph K.; Samarati, Pierangela · 2017
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 || Ranked Searchable Symmetric Encryption Supporting Conjunctive QueriesLiu, Joseph K.; Samarati, Pierangela · 2017
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 || A Formal Model for an Ideal CFILiu, Joseph K.; Samarati, Pierangela · 2017
[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 10701 || Verifiable Range Query Processing for Cloud ComputingLiu, Joseph K.; Samarati, Pierangela · 2017