Handbook of Finite State Based Models and Applications
Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.
Search
Search results
764 results found
Identifying suspicious addresses in Bitcoin thefts
Wu, Yan, Anthony Luo, and Dianxiang Xu. 2019. “Identifying Suspicious Addresses in Bitcoin Thefts”. Digital Investigation 31: 200895.
Formalizing semantic differences between combining algorithms in XACML 3.0 policies
Xu, Dianxiang, Yunpeng Zhang, and Ning Shen. 2015. “Formalizing Semantic Differences Between Combining Algorithms in XACML 3.0 Policies”. 2015 IEEE International Conference on Software Quality, Reliability and Security, 163-72.
Towards an enhanced design level security: integrating attack trees with statecharts
Ariss, Omar El, Jianfei Wu, and Dianxiang Xu. 2011. “Towards an Enhanced Design Level Security: Integrating Attack Trees With Statecharts”. 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 1-10.
Reach Availability Modeling of Replicated Services
Tu, Manghui, Dianxiang Xu, Zhonghang Xia, and Jicheng Fu. 2011. “Reach Availability Modeling of Replicated Services”. 2011 IEEE 35th Annual Computer Software and Applications Conference, 688-93.
Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas
Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2019. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.
Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas
Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2019. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.
Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas
Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2020. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.
Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas
Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2020. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.
Mauris felis ante montes rhoncus semper, iaculis nisl facilisis malesuada maecenas
Fames, Pulvinar, Hasellus Dignissim, Imperdiet Sociosqu, and Dictum Gravida. 2019. “Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas”. Mauris Felis ante Montes Rhoncus Semper, Iaculis Nisl Facilisis Malesuada Maecenas.