NIS07-3: Towards a Relational Calculus for Security Library Management | IEEE Conference Publication | IEEE Xplore