Embassies generally are "guarded" and I wouldn't have thought that we could spare or need a platoon or whatever of armed servicemen.
As Portugal was neutral, and our oldest ally, I wouldn't be surprised if UK policemen were part of the embassy staff.