What LvChris, said, but to paraphrase:
1. Divert 1% of the nearly $800B military budget to a special K-12 fund. That would be about $8B.
2. Use this fund for a 1-1 fund matching, for local schools, on the condition that funds matched do not come from the already approved local schools budgets, slotted for "education" only purposes.
3. The 2018 department of Education allocated $59 billion in discretionary funding, a $9 billion or 13 percent decrease below the 2017 annualized CR level. Restore those funds, and allocate them to a special College security fund.
4. Colleges can get a 1-1 match from the federal College security fund. Public colleges automatically qualify, private colleges can get matching funds, using a formula based on how much public funding their receive, on a per capita basis, relative to public colleges in the same area.
This should take care of the security issue.
This, of course, does not address the issue of more money to increase "actual" education. Perhaps another 1% of the military budget should be re-allocated? Do we need more nukes?