Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (489)
- Computer Engineering (392)
- Databases and Information Systems (242)
- Social and Behavioral Sciences (183)
- Electrical and Computer Engineering (170)
-
- Information Security (167)
- Software Engineering (107)
- Business (76)
- Mathematics (74)
- Numerical Analysis and Scientific Computing (74)
- OS and Networks (72)
- Life Sciences (67)
- Theory and Algorithms (66)
- Communication (63)
- Law (62)
- Artificial Intelligence and Robotics (61)
- Arts and Humanities (57)
- Computer Law (56)
- Education (55)
- Other Computer Sciences (52)
- Bioinformatics (49)
- Programming Languages and Compilers (49)
- Forensic Science and Technology (48)
- Legal Studies (48)
- Applied Mathematics (44)
- Communication Technology and New Media (42)
- Graphics and Human Computer Interfaces (42)
- Statistics and Probability (42)
- Institution
-
- Singapore Management University (241)
- Wright State University (206)
- Edith Cowan University (98)
- University of Nebraska - Lincoln (87)
- Missouri University of Science and Technology (77)
-
- TÜBİTAK (74)
- Embry-Riddle Aeronautical University (60)
- San Jose State University (52)
- Old Dominion University (47)
- Dartmouth College (40)
- University of Nebraska at Omaha (35)
- California Polytechnic State University, San Luis Obispo (34)
- Regis University (33)
- Air Force Institute of Technology (28)
- Brigham Young University (27)
- Taylor University (27)
- University of Nevada, Las Vegas (27)
- Institute of Business Administration (24)
- Technological University Dublin (21)
- Utah State University (21)
- University of South Florida (20)
- Marquette University (19)
- Smith College (19)
- Washington University in St. Louis (19)
- Portland State University (17)
- University of Texas at Arlington (17)
- City University of New York (CUNY) (16)
- University of Texas at El Paso (16)
- Walden University (15)
- Louisiana State University (14)
- Keyword
-
- College for Professional Studies (33)
- School of Computer & Information Science (32)
- Security (23)
- Privacy (18)
- Machine learning (17)
-
- Applied sciences (15)
- Algorithms (14)
- Computer science (14)
- Management (13)
- Data mining (11)
- Semantic Web (11)
- Digital forensics (10)
- Classification (9)
- MS Information Technology Management (9)
- Social media (9)
- Cloud Computing (8)
- Cloud computing (8)
- Collaboration (8)
- Education (8)
- Library science (8)
- Network (8)
- Optimization (8)
- Regis University MSCIS thesis (8)
- Department of Computer Science (7)
- Information technology (7)
- MS Computer and Information Technology (7)
- Ontology (7)
- School of Computer & Information Sciences Theses (7)
- Simulation (7)
- Software engineering (7)
- Publication
-
- Research Collection School Of Computing and Information Systems (232)
- Computer Science & Engineering Syllabi (154)
- Turkish Journal of Electrical Engineering and Computer Sciences (74)
- Theses and Dissertations (58)
- Master's Projects (51)
-
- Journal of Digital Forensics, Security and Law (40)
- School of Computing: Conference and Workshop Papers (36)
- Computer Science Faculty Research & Creative Works (35)
- Regis University Student Publications (comprehensive collection) (33)
- Australian Information Security Management Conference (32)
- Kno.e.sis Publications (28)
- ACMS Conference Proceedings 2011 (26)
- Computer Science Faculty Publications (26)
- International Conference on Information and Communication Technologies (23)
- The R Journal (22)
- Masters Theses (20)
- USF Tampa Graduate Theses and Dissertations (20)
- All Computer Science and Engineering Research (19)
- Computer Science: Faculty Publications (19)
- School of Computing: Dissertations, Theses, and Student Research (19)
- Computer Science Technical Reports (18)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (18)
- Electronic Theses and Dissertations (17)
- Mathematics, Statistics and Computer Science Faculty Research and Publications (17)
- Research outputs 2011 (17)
- Annual ADFSL Conference on Digital Forensics, Security and Law (16)
- Australian Digital Forensics Conference (16)
- Computer Science and Software Engineering (16)
- Electrical and Computer Engineering Faculty Research & Creative Works (15)
- Faculty Publications (15)
- Publication Type
- File Type
Articles 691 - 720 of 1795
Full-Text Articles in Computer Sciences
Regret Minimizing Audits: A Learning-Theoretic Basis For Privacy Protection, Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
Regret Minimizing Audits: A Learning-Theoretic Basis For Privacy Protection, Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha
Research Collection School Of Computing and Information Systems
Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely affect patient care. Recognizing this need, we develop the first principled learning-theoretic foundation for audits. Our first contribution is a game-theoretic model that captures the interaction between the defender (e.g., hospital auditors) and the adversary (e.g., hospital employees). The model takes pragmatic considerations into account, in particular, the periodic nature of audits, a budget that constrains the number of actions that the defender can inspect, and a loss function that captures the economic impact of detected and …
High-Performance Composite Event Monitoring System Supporting Large Numbers Of Queries And Sources, Sangjeong Lee, Youngki Lee, Byoungjip Kim, K. Selcuk Candan, Yunseok Rhee, Junehwa Song
High-Performance Composite Event Monitoring System Supporting Large Numbers Of Queries And Sources, Sangjeong Lee, Youngki Lee, Byoungjip Kim, K. Selcuk Candan, Yunseok Rhee, Junehwa Song
Research Collection School Of Computing and Information Systems
This paper presents a novel data structure, called Event-centric Composable Queue (ECQ), a basic building block of a new scalable composite event monitoring (CEM) framework, SCEMon. In particular, we focus on the scalability issues when large numbers of CEM queries and event sources exist in upcoming CEM environments. To address these challenges effectively, we take an event-centric sharing approach rather than dealing with queries and sources separately. ECQ is a shared queue, which stores incoming event instances of a primitive event class. ECQs are designed to facilitate efficient shared evaluations of multiple queries over very large volumes of event streams …
Smoothly Varying Affine Stitching, Wen-Yan Lin, Siying Liu, Yasuyuki Matsuhita, Tian-Tsong Ng, Loong-Fah Cheong
Smoothly Varying Affine Stitching, Wen-Yan Lin, Siying Liu, Yasuyuki Matsuhita, Tian-Tsong Ng, Loong-Fah Cheong
Research Collection School Of Computing and Information Systems
Traditional image stitching using parametric transforms such as homography, only produces perceptually correct composites for planar scenes or parallax free camera motion between source frames. This limits mosaicing to source images taken from the same physical location. In this paper, we introduce a smoothly varying affine stitching field which is flexible enough to handle parallax while retaining the good extrapolation and occlusion handling properties of parametric transforms. Our algorithm which jointly estimates both the stitching field and correspondence, permits the stitching of general motion source images, provided the scenes do not contain abrupt protrusions.
Supervisory Evolutionary Optimization Strategy For Adaptive Maintenance Schedules, Zhaoxia Wang, C. S. Chang
Supervisory Evolutionary Optimization Strategy For Adaptive Maintenance Schedules, Zhaoxia Wang, C. S. Chang
Research Collection School Of Computing and Information Systems
No abstract provided.
Towards Human-Like Social Multi-Agents With Memetic Automaton, Liang Feng, Yew-Soon Ong, Ah-Hwee Tan, Xian-Shun Chen
Towards Human-Like Social Multi-Agents With Memetic Automaton, Liang Feng, Yew-Soon Ong, Ah-Hwee Tan, Xian-Shun Chen
Research Collection School Of Computing and Information Systems
Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms, the notion of memetic automaton as an adaptive entity that is self-contained and uses memes as building blocks of information is recently conceptualized in the context of computational intelligence as potential tools for effective problem-solving [1]. Taking this cue, this paper embarks a study on Memetic Multiagent system (MeM) towards human-like social agents with memetic automaton. Particularly, we introduce a potentially rich meme-inspired design and operational model, with Darwin’s theory of natural selections and Dawkins’ …
Using Service Responsibility Tables To Supplement Uml In Analyzing E-Service Systems, Xin Tan, Steven Alter, Keng Siau
Using Service Responsibility Tables To Supplement Uml In Analyzing E-Service Systems, Xin Tan, Steven Alter, Keng Siau
Research Collection School Of Computing and Information Systems
This paper proposes using Service Responsibility Tables (SRTs) as a tool in analyzing e-service systems. First it discusses difficulties and deficiencies of using formal modeling languages such as UML in analyzing e-service systems. It proposes using SRTs as an informal language and lightweight analytical tool to be used by business professionals in analyzing e-service systems. SRTs are based on a service value chain framework but do not rely on abstract concepts and constructs, and therefore can be used by business professionals to supplement UML. We suggest a set of heuristics for transforming SRTs into two key UML diagrams, thereby illustrating …
Adaptive Display Power Management For Mobile Games, Bhojan Anand, Karthik Thirugnanam, Jeena Sebastian, Pravein G. Kannan, Akhihebbal L. Ananda, Mun Choon Chan, Rajesh Krishna Balan
Adaptive Display Power Management For Mobile Games, Bhojan Anand, Karthik Thirugnanam, Jeena Sebastian, Pravein G. Kannan, Akhihebbal L. Ananda, Mun Choon Chan, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
In this paper, we show how tone mapping techniques can be used to dynamically increase the image brightness, thus allowing the LCD backlight levels to be reduced. This saves significant power as the majority of the LCD’s display power is consumed by its backlight. The Gamma function (or equivalent) can be efficiently implemented in smartphones with minimal resource cost. We describe how we overcame the Gamma function’s non-linear nature by using adaptive thresholds to apply different Gamma values to images with differing brightness levels. These adaptive thresholds allow us to save significant amounts of power while preserving the image quality. …
Getting To Global Yes! Designing A Distributed Student Collaboration, Selma Limam Mansar, Randy Weinberg, Benjamin Kok Siew Gan
Getting To Global Yes! Designing A Distributed Student Collaboration, Selma Limam Mansar, Randy Weinberg, Benjamin Kok Siew Gan
Research Collection School Of Computing and Information Systems
The authors have taught a course called 'Global Project Management' for four years, engaging students in three international locations in hands-on distance projects. The distance projects are intended to provide students with enriching, realistic global project experience. With experience, improved planning and better coordination, each iteration of the distance projects has improved. In this paper, the authors present lessons learned and a mind map demonstrating key aspects of design of global hands-on projects.
Fully Secure Cipertext-Policy Hiding Cp-Abe, Junzuo Lai, Robert H. Deng, Yingjiu Li
Fully Secure Cipertext-Policy Hiding Cp-Abe, Junzuo Lai, Robert H. Deng, Yingjiu Li
Research Collection School Of Computing and Information Systems
In ciphertext-policy attributed-based encryption (CP-ABE), each ciphertext is labeled by the encryptor with an access structure (also called ciphertext policy) and each private key is associated with a set of attributes. A user should be able to decrypt a ciphertext if and only if his private key attributes satisfy the access structure.The traditional security property of CP-ABE is plaintext privacy, which ciphertexts reveal no information about the underlying plaintext. At ACNS’08, Nishide, Yoneyama and Ohta introduced the notion of ciphertext-policy hiding CP-ABE. In addition to protecting the privacy of plaintexts, ciphertext-policy hiding CP-ABE also protects the description of the access …
Hierarchical Identity-Based Chameleon Hash And Its Applications, Feng Bao, Robert H. Deng, Xuhua Ding, Junzuo Lai, Yunlei Zhao
Hierarchical Identity-Based Chameleon Hash And Its Applications, Feng Bao, Robert H. Deng, Xuhua Ding, Junzuo Lai, Yunlei Zhao
Research Collection School Of Computing and Information Systems
At ACNS 2008, Canard et al. introduced the notion of trapdoor sanitizable signature (TSS) based on identity-based chameleon hash (IBCH). Trapdoor sanitizable signatures allow the signer of a message to delegate, at any time, the power of sanitization to possibly several entities who can modify predetermined parts of the message and generate a new signature on the sanitized message without interacting with the original signer. In this paper, we introduce the notion of hierarchical identity-based chameleon hash (HIBCH), which is a hierarchical extension of IBCH. We show that HIBCH can be used to construct other cryptographic primitives, including hierarchical trapdoor …
A Quality Metric For Sustainable Innovations, Arcot Desai Narasimhalu
A Quality Metric For Sustainable Innovations, Arcot Desai Narasimhalu
Research Collection School Of Computing and Information Systems
Sustainability has become a major concern for nations and firms especially since the Kyoto Protocol was defined in 1997. While there have been several studies on benchmarks for national innovation systems and effectiveness of innovation management within firms there is as yet no reasonable metric for determining the quality of an innovation much less its quality relating to sustainability? Similarly, there have been several studies on sustainability but that such research groups have also not focused on developing a metric for denoting the quality of sustainable innovations. This paper offers a metric that defines the quality of an innovation, especially …
Assisting Human Motion-Tasks With Minimal, Real-Time Feedback, Paritosh A. Kavathekar
Assisting Human Motion-Tasks With Minimal, Real-Time Feedback, Paritosh A. Kavathekar
Dartmouth College Ph.D Dissertations
Teaching physical motions such as riding, exercising, swimming, etc. to human beings is hard. Coaches face difficulties in communicating their feedback verbally and cannot correct the student mid-action; teaching videos are two dimensional and suffer from perspective distortion. Systems that track a user and provide him real-time feedback have many potential applications: as an aid to the visually challenged, improving rehabilitation, improving exercise routines such as weight training or yoga, teaching new motion tasks, synchronizing motions of multiple actors, etc. It is not easy to deliver real-time feedback in a way that is easy to interpret, yet unobtrusive enough to …
Developing Digital Field Guides For Plants: A Study From The Perspective Of Users, Emily Roseanne Schwarz
Developing Digital Field Guides For Plants: A Study From The Perspective Of Users, Emily Roseanne Schwarz
Master's Theses
A field guide is a tool to identify an object of natural history. Field guides
cover a wide range of topics from plants to fungi, birds to mammals, and shells to minerals. Traditionally, field guides are books, usually small enough to be carried outdoors . They enjoy wide popularity in modern life; almost every American home and library owns at least one field guide, and the same is also true for other areas of the world.
At this time, companies, non-profits, and universities are developing computer
technologies to replace printed field guides for identifying plants. This thesis
examines the state …
Development Of Advanced Algorithms To Detect, Characterize And Forecast Solar Activities, Yuan Yuan
Development Of Advanced Algorithms To Detect, Characterize And Forecast Solar Activities, Yuan Yuan
Dissertations
Study of the solar activity is an important part of space weather research. It is facing serious challenges because of large data volume, which requires application of state-of-the-art machine learning and computer vision techniques. This dissertation targets at two essential aspects in space weather research: automatic feature detection and forecasting of eruptive events.
Feature detection includes solar filament detection and solar fibril tracing. A solar filament consists of a mass of gas suspended over the chromosphere by magnetic fields and seen as a dark, ribbon-shaped feature on the bright solar disk in Hα (Hydrogen-alpha) full-disk solar images. In this dissertation, …
Applications Of Stochastic Simulation In Two-Stage Multiple Comparisons With The Best Problem And Time Average Variance Constant Estimation, Dibyendu Chakrabarti
Applications Of Stochastic Simulation In Two-Stage Multiple Comparisons With The Best Problem And Time Average Variance Constant Estimation, Dibyendu Chakrabarti
Dissertations
In this dissertation, we study two problems. In the first part, we consider the two-stage methods for comparing alternatives using simulation. Suppose there are a finite number of alternatives to compare, with each alternative having an unknown parameter that is the basis for comparison. The parameters are to be estimated using simulation, where the alternatives are simulated independently. We develop two-stage selection and multiple-comparison procedures for simulations under a general framework. The assumptions are that each alternative has a parameter estimation process that satisfies a random- time-change central limit theorem (CLT), and there is a weakly consistent variance estimator (WCVE) …
Active Caching For Recommender Systems, Muhammad Umar Qasim
Active Caching For Recommender Systems, Muhammad Umar Qasim
Dissertations
Web users are often overwhelmed by the amount of information available while carrying out browsing and searching tasks. Recommender systems substantially reduce the information overload by suggesting a list of similar documents that users might find interesting. However, generating these ranked lists requires an enormous amount of resources that often results in access latency. Caching frequently accessed data has been a useful technique for reducing stress on limited resources and improving response time. Traditional passive caching techniques, where the focus is on answering queries based on temporal locality or popularity, achieve a very limited performance gain. In this dissertation, we …
802.15.4/Zigbee Analysis And Security: Tools For Practical Exploration Of The Attack Surface, Ricky A. Melgares
802.15.4/Zigbee Analysis And Security: Tools For Practical Exploration Of The Attack Surface, Ricky A. Melgares
Dartmouth College Undergraduate Theses
This thesis explores methods and techniques for surveying 802.15.4 and ZigBee wireless networks. The tools developed will aid in reconnaissance attacks against target networks; information gathered during this process will be used to profile a target network and its devices, as well as to pinpoint the geolocation of devices for executing physical attacks against the onboard hardware. Attacks against the PHY and MAC layers of the 802.15.4 standard will be explored as well.
Ranking Single Nucleotide Polymorphisms With Support Vector Regression In Continuous Phenotypes, Seif Shahidain
Ranking Single Nucleotide Polymorphisms With Support Vector Regression In Continuous Phenotypes, Seif Shahidain
Theses
Support vector machines (SVM) have been used to improve the ranking of single nucleotide polymorphisms (SNPs) over traditional chi-square tests in disease case studies [2]. In this investigation, ranking SNPs with support vector regression (SVR) was compared to the Wald test in predicting continuous phenotypes. SVR-ranked SNPs consistently outperformed the Wald test-ranked SNPs to provide a more accurate prediction of the phenotype with fewer SNPs across several methods of prediction.
Dynamic-Parinet (D-Parinet) : Indexing Present And Future Trajectories In Networks, Mou Nandi
Dynamic-Parinet (D-Parinet) : Indexing Present And Future Trajectories In Networks, Mou Nandi
Theses
While indexing historical trajectories is a hot topic in the field of moving objects (MO) databases for many years, only a few of them consider that the objects movements are constrained. DYNAMIC-PARINET (D-PATINET) is designed for capturing of trajectory data flow in multiple discrete small time interval efficiently and to predict a MO’s movement or the underlying network state at a future time.
The cornerstone of D-PARINET is PARINET, an efficient index for historical trajectory data. The structure of PARINET is based on a combination of graph partitioning and a set of composite B+-tree local indexes tuned for a given …
Fast Program For Sequence Alignment Using Partition Function Posterior Probabilities, Meera Prasad
Fast Program For Sequence Alignment Using Partition Function Posterior Probabilities, Meera Prasad
Theses
The key requirements of a good sequence alignment tool are high accuracy and fast execution. The existing Probalign program is a highly accurate tool for sequence alignment of both proteins and nucleotides. However, the time for execution is fairly high. The focus is therefore, to reduce the running time of the existing version of Probalign, maintaining its current accuracy level.
The thesis conducts a detail analysis of the performance of Probalign to bring down the running time of the existing code. A modified version of Probalign, Version 1.4 is released. A new program for sequence alignment with faster computation is …
Disability And The Web: Why Website Accessibility Matters, Vivienne Conway
Disability And The Web: Why Website Accessibility Matters, Vivienne Conway
InfoSci@ECU Seminars
With Australia now transitioning to WCAG 2.0, accessibility has become a critical area requiring a far greater emphasis in the next couple of years. The Australian Human Rights Commission has argued that all Australian websites should meet WCAG 2.0 AA by December 2014. In this presentation, Vivienne will discuss important findings from her study of public library web site accessibility. She will also provide insights into her current PhD investigation and give a first hand account of the Hyderabad conference and global efforts on web site accessibility.
Ios Mobile Device Forensics: Initial Analysis, Rita M. Barrios, Michael R. Lehrfeld
Ios Mobile Device Forensics: Initial Analysis, Rita M. Barrios, Michael R. Lehrfeld
Annual ADFSL Conference on Digital Forensics, Security and Law
The ability to recover forensic artifacts from mobile devices is proving to be an ever-increasing challenge for investigators. Coupling this with the ubiquity of mobile devices and the increasing complexity and processing power they contain results in a reliance on them by suspects. In investigating Apple’s iOS devices -- namely the iPhone and iPad -- an investigator’s challenges are increased due to the closed nature of the platforms. What is left is an extremely powerful and complex mobile tool that is inexpensive, small, and can be used in suspect activities. Little is known about the internal data structures of the …
Forensic Analysis Of Smartphones: The Android Data Extractor Lite (Adel), Felix Freiling, Michael Spreitzenbarth, Sven Schmitt
Forensic Analysis Of Smartphones: The Android Data Extractor Lite (Adel), Felix Freiling, Michael Spreitzenbarth, Sven Schmitt
Annual ADFSL Conference on Digital Forensics, Security and Law
Due to the ubiquitous use of smartphones, these devices become an increasingly important source of digital evidence in forensic investigations. Thus, the recovery of digital traces from smartphones often plays an essential role for the examination and clarification of the facts in a case. Although some tools already exist regarding the examination of smartphone data, there is still a strong demand to develop further methods and tools for forensic extraction and analysis of data that is stored on smartphones. In this paper we describe specifications of smartphones running Android. We further introduce a newly developed tool – called ADEL – …
Survey On Cloud Forensics And Critical Criteria For Cloud Forensic Capability: A Preliminary Analysis, Keyun Ruan, Ibrahim Baggili, Joe Carthy, Tahar Kechadi
Survey On Cloud Forensics And Critical Criteria For Cloud Forensic Capability: A Preliminary Analysis, Keyun Ruan, Ibrahim Baggili, Joe Carthy, Tahar Kechadi
Annual ADFSL Conference on Digital Forensics, Security and Law
In this paper we present the current results and analysis of the survey “Cloud forensics and critical criteria for cloud forensic capability” carried out towards digital forensic experts and practitioners. This survey was created in order to gain a better understanding on some of the key questions of the new field - cloud forensics - before further research and development. We aim to understand concepts such as its definition, the most challenging issues, most valuable research directions, and the critical criteria for cloud forensic capability.
Keywords: Cloud Forensics, Cloud Computing, Digital Forensics, Survey, Cloud Forensic Capability
Kindle Forensics: Acquisition & Analysis, Peter Hannay
Kindle Forensics: Acquisition & Analysis, Peter Hannay
Annual ADFSL Conference on Digital Forensics, Security and Law
The Amazon Kindle eBook reader supports a wide range of capabilities beyond reading books. This functionality includes an inbuilt cellular data connection known as Whispernet. The Kindle provides web browsing, an application framework, eBook delivery and other services over this connection. The historic data left by user interaction with this device may be of forensic interest. Analysis of the Amazon Kindle device has resulted in a method to reliably extract and interpret data from these devices in a forensically complete manner.
Keywords: forensics, digital forensics, kindle, mobile, embedded, ebook, ereader
A Project To Design, Implement, And Populate An Effective Geodatabase In Order To Re-Organize Geographic Information Systems Instructional A Small Community College, James C. Gibbons
Regis University Student Publications (comprehensive collection)
Geographic information systems instruction at a small community college was deemed inadequate by instructional staff and students. Inadequate resources and inefficient organization of data resulted in frustration for all users. Slow infrastructure resulted in excessive time needed to complete student projects and precluded the course objectives to be fully met. A project was completed to define requirements and recommendations, obtain necessary upgrades to both hardware and network infrastucture, reorganize data storage in a local geodatabase, and institute methods for more efficient instruction using ArcView and ArcCatalog applications from the software suite ArcGIS Desktop by ESRI. Subsequent adoption of the changes …
Flexible Storylines, Ivan Dmitrievich Romashka
Flexible Storylines, Ivan Dmitrievich Romashka
Theses and Dissertations
A long-standing goal of computer-based entertainment is the creation of a story where a user is in control of portions of the storyline. These non-linear stories give a user an opportunity to adapt the story to his or her interests, schedule and needs. The Internet has made non-linear video a reality. Different approaches have been taken to create and play non-linear video stories. They suffer from lack of simplicity, smoothness, and television-like experience in story creation and presentation. Flexible Storylines provide a way to easily create and present non-linear video stories. The creation of these stories is done using a …
Proofs Of Correctness For Three Decentralized Authentication Protocols Using Strand Spaces, Pavan Kumar Vankamamidi
Proofs Of Correctness For Three Decentralized Authentication Protocols Using Strand Spaces, Pavan Kumar Vankamamidi
Theses and Dissertations
Security is a major concern is today's online world. As online activities become increasingly sensitive, service providers rely on security protocols to ensure confidentiality, integrity and authentication of their users and data. Greater assurance is provided when these protocols are verified to be correct. Strand Spaces is a method to formally analyze security protocols. The arguments are based on the messages being transmitted and received while assuming that the underlying cryptographic primitives are secure. This thesis demonstrates that the protocols Luau, pwdArmor and Kiwi are secure using Strand Spaces methodology.
Aacsb‐Accredited Schools’ Adoption Of Information Security Curriculum, Linda Lau, Cheryl Davis
Aacsb‐Accredited Schools’ Adoption Of Information Security Curriculum, Linda Lau, Cheryl Davis
Annual ADFSL Conference on Digital Forensics, Security and Law
The need to professionally and successfully conduct computer forensic investigations of incidents has never been greater. This has launched an increasing demand for a skilled computer security workforce (Locasto, et al., 2011). This paper examines the extent to which AACSB-accredited universities located in Virginia, Maryland and Washington, D.C. are working towards providing courses that will meet this demand. The authors conduct an online research of the information security courses and programs offered by the 27 AACSB-accredited business schools in the selected area.
The preliminary investigation revealed that eight of the 27 participating universities did not offer any courses in cybersecurity, …
Digital Forensics Investigation In A Collegiate Environment, Robert E. Johnston
Digital Forensics Investigation In A Collegiate Environment, Robert E. Johnston
Annual ADFSL Conference on Digital Forensics, Security and Law
Creating, building, managing a cost effective digital forensics lab including a team of qualified examiners can be a challenge for colleges [1] with multiple campuses in multiple towns, counties and states. Leaving such examination responsibilities to each of the campuses results in not only disparity in the results but more than likely excessive duplication of efforts as well as the potential for compromise of evidence. Centralizing the forensic efforts results in a team that is not subject to the political pressures of a campus and virtually eliminates the possibility of examiner favoritism. Learn what it takes to create a cost …