List

Security certification of software for life- and mission-critical systems impacts both cost and schedule. While some microkernels offer significant safety and security advantages over classic operating system and real-time operating system approaches, it remains difficult to certify the resulting systems. It is also easy to construct unsafe and insecure systems based on microkernels.The proposed M ...

Design Analysis for Rapid, Effective Integration and Test (DAREIT) will support rapid deployment of CubeSats by adapting the model-based Architecture Centric Virtual Integration Process (ACVIP) pioneered by the Army. ACVIP employs model-based system engineering to perform virtual integration and testing to identify issues in system designs early when it is orders of magnitude more efficient than f ...

SIFT proposes Network Enforcement Using TRansactONs (NEUTRON) a dynamic fine-grained network enforcement policy design that captures network dependencies.NEUTRON closes the knowledge gap between mission needs and observed network traffic to increase mission network awareness. Then using that knowledge develops a revolutionary security enforcement policy based on network transactions.It reduces the ...

TYBALT (Transcending cYber Barriers with Automated Language Tracking) primary goal is the automatic detection of adverse intentions against US forces via publicly available information (PAI). OurIntent to Act Adversely Detector (ITAAD) is based on empirically-driven cognitive models linked to features detectable in the structure (rather than content) of written language: Integrative Complexity (IC ...

This research will enhance Rozin Securitys successful commercial product, the Threat Information Protection System (TIPS) with Easy Aerials advanced autonomous drone and it's Smart Aerial Monitoring System (SAMS). TIPS conducts real-time trend analysis and generates an immediate alert on possible connections between current and previously reported suspicious activities, regardless of where, when, ...

Under this Phase I, Barrier1 will work with Air Force end users and customers to determine if Barrier1 can be used to simplify and streamline the Functional Mission Analysis process for communications squadron networks.

Joint Aerial Layer Networking (JALN) promises to deliver high-performance voice, video, data, and communications relay services to tactically deployed assets including ground, air, and maritime users. Battlefield Airborne Communications Node (BACN) is one of the most advanced JALN component systems. JALN employs manned and unmanned aircraft outfitted with different wireless communication links, cr ...

Cyber resilient communications, networks, and data links are more important now than ever. Cybersecurity threats are polymorphic and rapidly changing which make it hard to keep up with ever mutating threat. Additionally, most Air Force security systems are passive, meaning once an attack has been identified, the Air Force then tries to repair the damage that has been done and update their system t ...

The USAF has many legacy systems that are increasingly difficult and costly to maintain or extend.Migrating a legacy system to a new platform, technology, or architecture can provide significant benefits, including lower maintenance and operating costs, improved scalability, improved security, and additional functionality. Migration, however, presents many options and associated challenges, which ...

Collaboration.Ai has created the first Augmented Human/Community Performance Platform (AHPP). We are shaping the future of innovation and warfighter improvement by connecting the right, people, products, teams, and solutions in real time:1. Ideas, product solutions, and improvements to the war machine are dependent upon the right minds connected to the right products.2. Experts formerly existed in ...