KABUL, July 23 (Xinhua) -- Police have thwarted attempts to smuggle 25 kg of drugs in western Afghanistan's Nimroz province, provincial director for counter-narcotics Faiz Mohammad Faizani said.

BEIJING, July 24 (Xinhua) - A Chinese student sports body on Thursday condemned Taiwan's Democratic Progressive Party (DPP) authorities for attempt to use sports for their secessionist agenda at the ...

KABUL, July 22 (Xinhua) -- Afghan national army has thwarted attempts to smuggle drugs and detained three alleged drug smugglers in the southern Afghanistan Helmand province, said an army spokesman in ...

Jakarta, June 27 (UNI) Indonesia''s security authorities have thwarted an attempt to smuggle 98 Indonesian citizens to several destinations, including countries currently embroiled in conflict and kno ...

In this talk, I would like to share our attempts to solve security problems using various techniques. Starting from formal methods, we have applied formal modeling and reasoning to security ...