ASU Electronic Theses and Dissertations
This collection includes most of the ASU Theses and Dissertations from 2011 to present. ASU Theses and Dissertations are available in downloadable PDF format; however, a small percentage of items are under embargo. Information about the dissertations/theses includes degree information, committee members, an abstract, supporting data or media.
In addition to the electronic theses found in the ASU Digital Repository, ASU Theses and Dissertations can be found in the ASU Library Catalog.
Dissertations and Theses granted by Arizona State University are archived and made available through a joint effort of the ASU Graduate College and the ASU Libraries. For more information or questions about this collection contact or visit the Digital Repository ETD Library Guide or contact the ASU Graduate College at gradformat@asu.edu.
Displaying 1 - 10 of 69
Description
Topological insulators with conducting surface states yet insulating bulk states have generated a lot of interest amongst the physics community due to their varied characteristics and possible applications. Doped topological insulators have presented newer physical states of matter where topological order co&ndashexists; with other physical properties (like magnetic order). The electronic states of these materials are very intriguing and pose problems and the possible solutions to understanding their unique behaviors. In this work, we use Electron Energy Loss Spectroscopy (EELS) – an analytical TEM tool to study both core&ndashlevel; and valence&ndashlevel; excitations in Bi2Se3 and Cu(doped)Bi2Se3 topological insulators. We use this technique to retrieve information on the valence, bonding nature, co-ordination and lattice site occupancy of the undoped and the doped systems. Using the reference materials Cu(I)Se and Cu(II)Se we try to compare and understand the nature of doping that copper assumes in the lattice. And lastly we utilize the state of the art monochromated Nion UltraSTEM 100 to study electronic/vibrational excitations at a record energy resolution from sub-nm regions in the sample.
ContributorsSubramanian, Ganesh (Author) / Spence, John (Thesis advisor) / Jiang, Nan (Committee member) / Chen, Tingyong (Committee member) / Chan, Candace (Committee member) / Arizona State University (Publisher)
Created2013
Description
Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling language in order to enhance expressivity, such as incorporating aggregates and interfaces with ontologies. Also, in order to overcome the grounding bottleneck of computation in ASP, there are increasing interests in integrating ASP with other computing paradigms, such as Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). Due to the non-monotonic nature of the ASP semantics, such enhancements turned out to be non-trivial and the existing extensions are not fully satisfactory. We observe that one main reason for the difficulties rooted in the propositional semantics of ASP, which is limited in handling first-order constructs (such as aggregates and ontologies) and functions (such as constraint variables in CP and SMT) in natural ways. This dissertation presents a unifying view on these extensions by viewing them as instances of formulas with generalized quantifiers and intensional functions. We extend the first-order stable model semantics by by Ferraris, Lee, and Lifschitz to allow generalized quantifiers, which cover aggregate, DL-atoms, constraints and SMT theory atoms as special cases. Using this unifying framework, we study and relate different extensions of ASP. We also present a tight integration of ASP with SMT, based on which we enhance action language C+ to handle reasoning about continuous changes. Our framework yields a systematic approach to study and extend non-monotonic languages.
ContributorsMeng, Yunsong (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2013
Description
Dealloying, the selective dissolution of an elemental component from an alloy, is an important corrosion mechanism and a technological significant means to fabricate nanoporous structures for a variety of applications. In noble metal alloys, dealloying proceeds above a composition dependent critical potential, and bi-continuous structure evolves "simultaneously" as a result of the interplay between percolation dissolution and surface diffusion. In contrast, dealloying in alloys that show considerable solid-state mass transport at ambient temperature is largely unexplored despite its relevance to nanoparticle catalysts and Li-ion anodes. In my dissertation, I discuss the behaviors of two alloy systems in order to elucidate the role of bulk lattice diffusion in dealloying. First, Mg-Cd alloys are chosen to show that when the dealloying is controlled by bulk diffusion, a new type of porosity - negative void dendrites will form, and the process mirrors electrodeposition. Then, Li-Sn alloys are studied with respect to the composition, particle size and dealloying rate effects on the morphology evolution. Under the right condition, dealloying of Li-Sn supported by percolation dissolution results in the same bi-continuous structure as nanoporous noble metals; whereas lattice diffusion through the otherwise "passivated" surface allows for dealloying with no porosity evolution. The interactions between bulk diffusion, surface diffusion and dissolution are revealed by chronopotentiometry and linear sweep voltammetry technics. The better understanding of dealloying from these experiments enables me to construct a brief review summarizing the electrochemistry and morphology aspects of dealloying as well as offering interpretations to new observations such as critical size effect and encased voids in nanoporous gold. At the end of the dissertation, I will describe a preliminary attempt to generalize the morphology evolution "rules of dealloying" to all solid-to-solid interfacial controlled phase transition process, demonstrating that bi-continuous morphologies can evolve regardless of the nature of parent phase.
ContributorsChen, Qing (Author) / Sieradzki, Karl (Thesis advisor) / Friesen, Cody (Committee member) / Buttry, Daniel (Committee member) / Chan, Candace (Committee member) / Arizona State University (Publisher)
Created2013
Description
Attribute Based Access Control (ABAC) mechanisms have been attracting a lot of interest from the research community in recent times. This is especially because of the flexibility and extensibility it provides by using attributes assigned to subjects as the basis for access control. ABAC enables an administrator of a server to enforce access policies on the data, services and other such resources fairly easily. It also accommodates new policies and changes to existing policies gracefully, thereby making it a potentially good mechanism for implementing access control in large systems, particularly in today's age of Cloud Computing. However management of the attributes in ABAC environment is an area that has been little touched upon. Having a mechanism to allow multiple ABAC based systems to share data and resources can go a long way in making ABAC scalable. At the same time each system should be able to specify their own attribute sets independently. In the research presented in this document a new mechanism is proposed that would enable users to share resources and data in a cloud environment using ABAC techniques in a distributed manner. The focus is mainly on decentralizing the access policy specifications for the shared data so that each data owner can specify the access policy independent of others. The concept of ontologies and semantic web is introduced in the ABAC paradigm that would help in giving a scalable structure to the attributes and also allow systems having different sets of attributes to communicate and share resources.
ContributorsPrabhu Verleker, Ashwin Narayan (Author) / Huang, Dijiang (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Dasgupta, Partha (Committee member) / Arizona State University (Publisher)
Created2014
Description
This thesis addresses the ever increasing threat of botnets in the smartphone domain and focuses on the Android platform and the botnets using Online Social Networks (OSNs) as Command and Control (C&C;) medium. With any botnet, C&C; is one of the components on which the survival of botnet depends. Individual bots use the C&C; channel to receive commands and send the data. This thesis develops active host based approach for identifying the presence of bot based on the anomalies in the usage patterns of the user before and after the bot is installed on the user smartphone and alerting the user to the presence of the bot. A profile is constructed for each user based on the regular web usage patterns (achieved by intercepting the http(s) traffic) and implementing machine learning techniques to continuously learn the user's behavior and changes in the behavior and all the while looking for any anomalies in the user behavior above a threshold which will cause the user to be notified of the anomalous traffic. A prototype bot which uses OSN s as C&C; channel is constructed and used for testing. Users are given smartphones(Nexus 4 and Galaxy Nexus) running Application proxy which intercepts http(s) traffic and relay it to a server which uses the traffic and constructs the model for a particular user and look for any signs of anomalies. This approach lays the groundwork for the future host-based counter measures for smartphone botnets using OSN s as C&C; channel.
ContributorsKilari, Vishnu Teja (Author) / Xue, Guoliang (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Dasgupta, Partha (Committee member) / Arizona State University (Publisher)
Created2013
Description
The widespread adoption of mobile devices gives rise to new opportunities and challenges for authentication mechanisms. Many traditional authentication mechanisms become unsuitable for smart devices. For example, while password is widely used on computers as user identity authentication, inputting password on small smartphone screen is error-prone and not convenient. In the meantime, there are emerging demands for new types of authentication. Proximity authentication is an example, which is not needed for computers but quite necessary for smart devices. These challenges motivate me to study and develop novel authentication mechanisms specific for smart devices.
In this dissertation, I am interested in the special authentication demands of smart devices and about to satisfy the demands. First, I study how the features of smart devices affect user identity authentications. For identity authentication domain, I aim to design a continuous, forge-resistant authentication mechanism that does not interrupt user-device interactions. I propose a mechanism that authenticates user identity based on the user's finger movement patterns. Next, I study a smart-device-specific authentication, proximity authentication, which authenticates whether two devices are in close proximity. For prox- imity authentication domain, I aim to design a user-friendly authentication mechanism that can defend against relay attacks. In addition, I restrict the authenticated distance to the scale of near field, i.e., a few centimeters. My first design utilizes a user's coherent two-finger movement on smart device screen to restrict the distance. To achieve a fully-automated system, I explore acoustic communications and propose a novel near field authentication system.
In this dissertation, I am interested in the special authentication demands of smart devices and about to satisfy the demands. First, I study how the features of smart devices affect user identity authentications. For identity authentication domain, I aim to design a continuous, forge-resistant authentication mechanism that does not interrupt user-device interactions. I propose a mechanism that authenticates user identity based on the user's finger movement patterns. Next, I study a smart-device-specific authentication, proximity authentication, which authenticates whether two devices are in close proximity. For prox- imity authentication domain, I aim to design a user-friendly authentication mechanism that can defend against relay attacks. In addition, I restrict the authenticated distance to the scale of near field, i.e., a few centimeters. My first design utilizes a user's coherent two-finger movement on smart device screen to restrict the distance. To achieve a fully-automated system, I explore acoustic communications and propose a novel near field authentication system.
ContributorsLi, Lingjun (Author) / Xue, Guoliang (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Ye, Jieping (Committee member) / Zhang, Yanchao (Committee member) / Arizona State University (Publisher)
Created2014
Description
A firewall is a necessary component for network security and just like any regular equipment it requires maintenance. To keep up with changing cyber security trends and threats, firewall rules are modified frequently. Over time such modifications increase the complexity, size and verbosity of firewall rules. As the rule set grows in size, adding and modifying rule becomes a tedious task. This discourages network administrators to review the work done by previous administrators before and after applying any changes. As a result the quality and efficiency of the firewall goes down.
Modification and addition of rules without knowledge of previous rules creates anomalies like shadowing and rule redundancy. Anomalous rule sets not only limit the efficiency of the firewall but in some cases create a hole in the perimeter security. Detection of anomalies has been studied for a long time and some well established procedures have been implemented and tested. But they all have a common problem of visualizing the results. When it comes to visualization of firewall anomalies, the results do not fit in traditional matrix, tree or sunburst representations.
This research targets the anomaly detection and visualization problem. It analyzes and represents firewall rule anomalies in innovative ways such as hive plots and dynamic slices. Such graphical representations of rule anomalies are useful in understanding the state of a firewall. It also helps network administrators in finding and fixing the anomalous rules.
Modification and addition of rules without knowledge of previous rules creates anomalies like shadowing and rule redundancy. Anomalous rule sets not only limit the efficiency of the firewall but in some cases create a hole in the perimeter security. Detection of anomalies has been studied for a long time and some well established procedures have been implemented and tested. But they all have a common problem of visualizing the results. When it comes to visualization of firewall anomalies, the results do not fit in traditional matrix, tree or sunburst representations.
This research targets the anomaly detection and visualization problem. It analyzes and represents firewall rule anomalies in innovative ways such as hive plots and dynamic slices. Such graphical representations of rule anomalies are useful in understanding the state of a firewall. It also helps network administrators in finding and fixing the anomalous rules.
ContributorsKhatkar, Pankaj Kumar (Author) / Huang, Dijiang (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Syrotiuk, Violet R. (Committee member) / Arizona State University (Publisher)
Created2014
Description
Membrane-based gas separation is promising for efficient propylene/propane (C3H6/C3H8) separation with low energy consumption and minimum environment impact. Two microporous inorganic membrane candidates, MFI-type zeolite membrane and carbon molecular sieve membrane (CMS) have demonstrated excellent thermal and chemical stability. Application of these membranes into C3H6/C3H8 separation has not been well investigated. This dissertation presents fundamental studies on membrane synthesis, characterization and C3H6/C3H8 separation properties of MFI zeolite membrane and CMS membrane.
MFI zeolite membranes were synthesized on α-alumina supports by secondary growth method. Novel positron annihilation spectroscopy (PAS) techniques were used to non-destructively characterize the pore structure of these membranes. PAS reveals a bimodal pore structure consisting of intracrystalline zeolitic micropores of ~0.6 nm in diameter and irregular intercrystalline micropores of 1.4 to 1.8 nm in size for the membranes. The template-free synthesized membrane exhibited a high permeance but a low selectivity in C3H6/C3H8 mixture separation.
CMS membranes were synthesized by coating/pyrolysis method on mesoporous γ-alumina support. Such supports allow coating of thin, high-quality polymer films and subsequent CMS membranes with no infiltration into support pores. The CMS membranes show strong molecular sieving effect, offering a high C3H6/C3H8 mixture selectivity of ~30. Reduction in membrane thickness from 500 nm to 300 nm causes an increase in C3H8 permeance and He/N2 selectivity, but a decrease in the permeance of He, N2 and C3H6 and C3H6/C3H8 selectivity. This can be explained by the thickness dependent chain mobility of the polymer film resulting in final carbon membrane of reduced pore size with different effects on transport of gas of different sizes, including possible closure of C3H6-accessible micropores.
CMS membranes demonstrate excellent C3H6/C3H8 separation performance over a wide range of feed pressure, composition and operation temperature. No plasticization was observed at a feed pressure up to 100 psi. The permeation and separation is mainly controlled by diffusion instead of adsorption. CMS membrane experienced a decline in permeance, and an increase in selectivity over time under on-stream C3H6/C3H8 separation. This aging behavior is due to the reduction in effective pore size and porosity caused by oxygen chemisorption and physical aging of the membrane structure.
MFI zeolite membranes were synthesized on α-alumina supports by secondary growth method. Novel positron annihilation spectroscopy (PAS) techniques were used to non-destructively characterize the pore structure of these membranes. PAS reveals a bimodal pore structure consisting of intracrystalline zeolitic micropores of ~0.6 nm in diameter and irregular intercrystalline micropores of 1.4 to 1.8 nm in size for the membranes. The template-free synthesized membrane exhibited a high permeance but a low selectivity in C3H6/C3H8 mixture separation.
CMS membranes were synthesized by coating/pyrolysis method on mesoporous γ-alumina support. Such supports allow coating of thin, high-quality polymer films and subsequent CMS membranes with no infiltration into support pores. The CMS membranes show strong molecular sieving effect, offering a high C3H6/C3H8 mixture selectivity of ~30. Reduction in membrane thickness from 500 nm to 300 nm causes an increase in C3H8 permeance and He/N2 selectivity, but a decrease in the permeance of He, N2 and C3H6 and C3H6/C3H8 selectivity. This can be explained by the thickness dependent chain mobility of the polymer film resulting in final carbon membrane of reduced pore size with different effects on transport of gas of different sizes, including possible closure of C3H6-accessible micropores.
CMS membranes demonstrate excellent C3H6/C3H8 separation performance over a wide range of feed pressure, composition and operation temperature. No plasticization was observed at a feed pressure up to 100 psi. The permeation and separation is mainly controlled by diffusion instead of adsorption. CMS membrane experienced a decline in permeance, and an increase in selectivity over time under on-stream C3H6/C3H8 separation. This aging behavior is due to the reduction in effective pore size and porosity caused by oxygen chemisorption and physical aging of the membrane structure.
ContributorsMa, Xiaoli (Author) / Lin, Jerry (Thesis advisor) / Alford, Terry (Committee member) / Chan, Candace (Committee member) / Arizona State University (Publisher)
Created2015
Description
Users often join an online social networking (OSN) site, like Facebook, to remain social, by either staying connected with friends or expanding social networks. On an OSN site, users generally share variety of personal information which is often expected to be visible to their friends, but sometimes vulnerable to unwarranted access from others. The recent study suggests that many personal attributes, including religious and political affiliations, sexual orientation, relationship status, age, and gender, are predictable using users' personal data from an OSN site. The majority of users want to remain socially active, and protect their personal data at the same time. This tension leads to a user's vulnerability, allowing privacy attacks which can cause physical and emotional distress to a user, sometimes with dire consequences. For example, stalkers can make use of personal information available on an OSN site to their personal gain. This dissertation aims to systematically study a user vulnerability against such privacy attacks.
A user vulnerability can be managed in three steps: (1) identifying, (2) measuring and (3) reducing a user vulnerability. Researchers have long been identifying vulnerabilities arising from user's personal data, including user names, demographic attributes, lists of friends, wall posts and associated interactions, multimedia data such as photos, audios and videos, and tagging of friends. Hence, this research first proposes a way to measure and reduce a user vulnerability to protect such personal data. This dissertation also proposes an algorithm to minimize a user's vulnerability while maximizing their social utility values.
To address these vulnerability concerns, social networking sites like Facebook usually let their users to adjust their profile settings so as to make some of their data invisible. However, users sometimes interact with others using unprotected posts (e.g., posts from a ``Facebook page\footnote{The term ''Facebook page`` refers to the page which are commonly dedicated for businesses, brands and organizations to share their stories and connect with people.}''). Such interactions help users to become more social and are publicly accessible to everyone. Thus, visibilities of these interactions are beyond the control of their profile settings. I explore such unprotected interactions so that users' are well aware of these new vulnerabilities and adopt measures to mitigate them further. In particular, {\em are users' personal attributes predictable using only the unprotected interactions}? To answer this question, I address a novel problem of predictability of users' personal attributes with unprotected interactions. The extreme sparsity patterns in users' unprotected interactions pose a serious challenge. Therefore, I approach to mitigating the data sparsity challenge by designing a novel attribute prediction framework using only the unprotected interactions. Experimental results on Facebook dataset demonstrates that the proposed framework can predict users' personal attributes.
A user vulnerability can be managed in three steps: (1) identifying, (2) measuring and (3) reducing a user vulnerability. Researchers have long been identifying vulnerabilities arising from user's personal data, including user names, demographic attributes, lists of friends, wall posts and associated interactions, multimedia data such as photos, audios and videos, and tagging of friends. Hence, this research first proposes a way to measure and reduce a user vulnerability to protect such personal data. This dissertation also proposes an algorithm to minimize a user's vulnerability while maximizing their social utility values.
To address these vulnerability concerns, social networking sites like Facebook usually let their users to adjust their profile settings so as to make some of their data invisible. However, users sometimes interact with others using unprotected posts (e.g., posts from a ``Facebook page\footnote{The term ''Facebook page`` refers to the page which are commonly dedicated for businesses, brands and organizations to share their stories and connect with people.}''). Such interactions help users to become more social and are publicly accessible to everyone. Thus, visibilities of these interactions are beyond the control of their profile settings. I explore such unprotected interactions so that users' are well aware of these new vulnerabilities and adopt measures to mitigate them further. In particular, {\em are users' personal attributes predictable using only the unprotected interactions}? To answer this question, I address a novel problem of predictability of users' personal attributes with unprotected interactions. The extreme sparsity patterns in users' unprotected interactions pose a serious challenge. Therefore, I approach to mitigating the data sparsity challenge by designing a novel attribute prediction framework using only the unprotected interactions. Experimental results on Facebook dataset demonstrates that the proposed framework can predict users' personal attributes.
ContributorsGundecha, Pritam S (Author) / Liu, Huan (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Ye, Jieping (Committee member) / Barbier, Geoffrey (Committee member) / Arizona State University (Publisher)
Created2015
Description
This dissertation is focused on building scalable Attribute Based Security Systems (ABSS), including efficient and privacy-preserving attribute based encryption schemes and applications to group communications and cloud computing. First of all, a Constant Ciphertext Policy Attribute Based Encryption (CCP-ABE) is proposed. Existing Attribute Based Encryption (ABE) schemes usually incur large, linearly increasing ciphertext. The proposed CCP-ABE dramatically reduces the ciphertext to small, constant size. This is the first existing ABE scheme that achieves constant ciphertext size. Also, the proposed CCP-ABE scheme is fully collusion-resistant such that users can not combine their attributes to elevate their decryption capacity. Next step, efficient ABE schemes are applied to construct optimal group communication schemes and broadcast encryption schemes. An attribute based Optimal Group Key (OGK) management scheme that attains communication-storage optimality without collusion vulnerability is presented. Then, a novel broadcast encryption model: Attribute Based Broadcast Encryption (ABBE) is introduced, which exploits the many-to-many nature of attributes to dramatically reduce the storage complexity from linear to logarithm and enable expressive attribute based access policies. The privacy issues are also considered and addressed in ABSS. Firstly, a hidden policy based ABE schemes is proposed to protect receivers' privacy by hiding the access policy. Secondly,a new concept: Gradual Identity Exposure (GIE) is introduced to address the restrictions of hidden policy based ABE schemes. GIE's approach is to reveal the receivers' information gradually by allowing ciphertext recipients to decrypt the message using their possessed attributes one-by-one. If the receiver does not possess one attribute in this procedure, the rest of attributes are still hidden. Compared to hidden-policy based solutions, GIE provides significant performance improvement in terms of reducing both computation and communication overhead. Last but not least, ABSS are incorporated into the mobile cloud computing scenarios. In the proposed secure mobile cloud data management framework, the light weight mobile devices can securely outsource expensive ABE operations and data storage to untrusted cloud service providers. The reported scheme includes two components: (1) a Cloud-Assisted Attribute-Based Encryption/Decryption (CA-ABE) scheme and (2) An Attribute-Based Data Storage (ABDS) scheme that achieves information theoretical optimality.
ContributorsZhou, Zhibin (Author) / Huang, Dijiang (Thesis advisor) / Yau, Sik-Sang (Committee member) / Ahn, Gail-Joon (Committee member) / Reisslein, Martin (Committee member) / Arizona State University (Publisher)
Created2011