Выбранные официальные каталоги по ИТ, безопасности, приватности, ИИ и связи.
Реестр · 6 880 документов
Estimating t-way Fault Profile Evolution During Testing
Empirical studies have shown that most software interaction faults involve one or two variables interacting, with progressively fewer triggered by three or more, and no failure has been reported involving more than six variables interacting. This paper
Derived PIV Application and Data Model Test Guidelines
NIST Special Publication (SP) 800-157 contains technical guidelines for the implementation of standards-based, secure, reliable, interoperable Public Key Infrastructure (PKI)-based identity credentials that are issued for mobile devices by federal
Guide for Cybersecurity Event Recovery
Derived PIV Application and Data Model Test Guidelines
[Concept Paper] Identity and Access Management for Smart Home Devices
Extending Network Security into Virtualized Infrastructure
This bulletin summarizes the information presented in NIST Special Publication (SP) 800-125B, "Secure Virtual Network Configuration for Virtual Machine (VM) Protection." That publication provides an analysis of various virtual network configuration options
Extending Network Security into Virtualized Infrastructure
inf-TESLA: Multicast Delayed Authentication For Streaming Sensor Data in Electric Power Systems
Multicast authentication of synchrophasor data is challenging due to the design requirements of electric power monitoring systems such as low security overhead, tolerance of lossy networks, time-criticality and high data rates. In this work, we propose inf
Identifying And Categorizing Data Types for Public Safety Mobile Applications Workshop Report
The Association of Public-Safety Communications (APCO), in cooperation with FirstNet and the Department of Commerce held a half-day workshop on June 2, 2015 titled "Identifying and Categorizing Data Types for Public Safety Mobile Applications." The goal of
Mobile Application Vetting Services for Public Safety: an Informal Survey
Identifying and Categorizing Data Types for Public Safety Mobile Applications: Workshop Report
Multicast Delayed Authentication For Streaming Synchrophasor Data in the Smart Grid
Multicast authentication of synchrophasor data is challenging due to the design requirements of Smart Grid monitoring systems such as low security overhead, tolerance of lossy networks, time-criticality and high data rates. In this work, we propose inf
Insights on Formal Methods of Cybersecurity
We asked 7 experts 1 simple question to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems: Please summarize in a paragraph the state of the research and practitioner communities in formal
Baseline Tailor: Software-aided Security Control Selection
Insights on Formal Methods of Cybersecurity
Verification of a Foundry-Developed Transistor Model with Measurement Uncertainty
We verify a foundry model for state-of-the-art 250 nm heterojunction bipolar transistors with large-signal measurements. We demonstrate the propagation of correlated measurement uncertainties through the verification process, and use them to quantify the
Developing Models for Type N Coaxial VNA Calibration Kits within the NIST Microwave Uncertainty Framework
We developed models for Type N coaxial vector network analyzer (VNA) calibration kits within the NIST Microwave Uncertainty Framework. First, we created physical models of commercially- available standards that support multiline thru-reflect-line (TRL) and
Representation of PIV Chain-of-Trust for Import and Export
This document provides a common XML-based data representation of a chain-of-trust record to facilitate the exchange of PIV Card enrollment data. The exchanged record is the basis to personalize a PIV Card for a transferred employee and also for service
Representation of PIV Chain-of-Trust for Import and Export
On various nonlinearity measures for boolean functions
A necessary condition for the security of cryptographic functions is to be "sufficiently distant" from linear, and cryptographers have proposed several measures for this distance. We show that six common measures, nonlinearity, algebraic degree
On Various Nonlinearity Measures for Boolean Functions
User's Guide to Running the Draft NIST SP 800-90B Entropy Estimation Suite
This is a brief introduction on how to run the Python command-line programs (hosted on GitHub at https://github.com/usnistgov/SP800-90B_EntropyAssessment ) that implement the statistical entropy estimation methods found in Section 6 of the Second Draft NIST
Combinatorial Testing for Cybersecurity and Reliability
This bulletin focuses on NIST's combinatorial testing work. Combinatorial testing is a proven method for more effective software testing at lower cost. The key insight underlying combinatorial testing's effectiveness resulted from a series of studies by
User's Guide to Running the Draft NIST SP 800-90B Entropy Estimation Suite
Combinatorial Testing for Cybersecurity and Reliability
Combinatorial Coverage Analysis of Subsets of the TLS Cipher Suite Registry
We present a combinatorial coverage measurement for (subsets) of the TLS cipher suite registries by analyzing the specified ciphers of IANA, ENISA, BSI, Mozilla and NSA Suite B. Our findings contribute towards the design of quality measures of recommended
inf-TESLA: Multicast Delayed Authentication for Streaming Sensor Data in Electric Power Systems
Combinatorial Coverage Analysis of Subsets of the TLS Cipher Suite Registry
Securing Non-Credit Card, Sensitive Consumer Data: Consumer Data Security for the Retail Sector
Multifactor Authentication for e-Commerce: Online Authentication for the Retail Sector