Maybe. He was on the BLACKER VPN project for high-assurance, secure VPN. It had strong requirements for configuration management. Larry Wall was a smart, but lazy, programmer that tired of tedious administration. So, he wrote Perl to automate that.
Maybe he did some kind of deep, programming design. It just sounded in that account more like he threw together whatever solved his problem with some nice ideas baked in. Again, that's if it was true that he invented it to automate tedium during BLACKER VPN.
For public examples of A1, look up SCOMP, GEMSOS, and VAX Security Kernel (VMM). Those papers describe the assurance activities required for A1 certification. At the time, due to bootstrapping requirement, tools like Configuration Management didn't have to be A1. People used all kinds of stuff, like Wall building Perl.
Maybe he did some kind of deep, programming design. It just sounded in that account more like he threw together whatever solved his problem with some nice ideas baked in. Again, that's if it was true that he invented it to automate tedium during BLACKER VPN.
BLACKER is described here: https://ieeexplore.ieee.org/document/213253
For public examples of A1, look up SCOMP, GEMSOS, and VAX Security Kernel (VMM). Those papers describe the assurance activities required for A1 certification. At the time, due to bootstrapping requirement, tools like Configuration Management didn't have to be A1. People used all kinds of stuff, like Wall building Perl.