Even if we had such a language it would probably not be high level enough because understanding what security you know is still a hard problem. Instead I'd suggest a high level library that gives you a complete security package with defaults that can't be easily changed.
Something like what the CAESAR competition hopes to achieve: http://competitions.cr.yp.to/caesar.html