Benjamin Long

National Institute of Standards and Technology — United States

Social Sciences · Social Sciences

4h-index52citations23works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Access Control and Trust(8), Security and Verification in Computing(8), Advanced Authentication Protocols Security(6), User Authentication and Security Systems(4), Service-Oriented Architecture and Web Services(2)

Publications23 total

Community-Scale Problem-Solving: Reflections on a Decade of Infrastructure Development in the MGI
Integrating materials and manufacturing innovation·2024Open Access
An infrastructure for curating, querying, and augmenting document data :
2023· 1 citedOpen Access
DIGITAL NIST: An examination of the obstacles and opportunities in the digital transformation of NIST’s reference materials
ACTA IMEKO·2023· 3 citedOpen Access
Micro common data format specification
2022· 2 citedOpen Access
Ballot Definition Common Data Format Specification
2022Open Access
THE DIGITAL NIST: CHALLENGES AND OPPORTUNITIES IN THE DIGITAL TRANSFORMATION OF NIST’S REFERENCE MATERIALS
2022· 1 citedOpen Access
THE DIGITAL NIST: CHALLENGES AND OPPORTUNITIES IN THE DIGITAL TRANSFORMATION OF NIST’S CALIBRATION SERVICES
2022· 2 citedOpen Access
Implementing a Registry Federation for Materials Science Data Discovery
Data Science Journal·2021· 12 citedOpen Access
A Context-Based Integrity Framework
2012· 2 cited
A Formal Integrity Framework with Application to a Secure Information ATM (SIATM)
2012
An abstract dynamic access control architecture
Journal of Applied Logic·2011
Security in Depth through Smart Space Cascades
Lecture notes in computer science·2011
An Abstract Model for Dynamic Access Control Architectures
2008· 1 cited
An Abstract Model for Dynamic Access Control Architectures.
Web Intelligence/IAT Workshops·2008
The Role of Formal Methods in High-Grade InfoSec Evaluations
Defense Technical Information Center (DTIC)·2007
Specifying and Verifying Key Distribution Protocols: A Layered Approach
2007
Cross-layer verification of type flaw attacks on security protocols
QUT ePrints (Queensland University of Technology)·2007· 8 citedOpen Access
Formally analysing a security protocol for replay attacks
2006· 2 citedOpen Access
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z
Lecture notes in computer science·2005· 4 cited
Formal verification of type flaw attacks in security protocols
2004· 5 cited
page 1 of 2Next →

Frequent Co-authors

R. J. Hanisch(4), Colin Fidge(3), Chuchang Liu(3), Angela Billard(3), Raymond Plante(2), Kevin G. Brady(2), Alden Dima(2), William Dinis Camara(2), Steven J. Choquette(2), Katya Delak(2), Melissa Phillips(2), Jared M. Ragland(2), Catherine A. Rimmer(2), Mark Anderson(2), Paul Montague(2), Guillaume Sousa Amaral(2), Philippe Dessauw(2), Chandler A. Becker(1), Andrea Medina-Smith(1), Laura M. Bartolo(1)