selinux: File revisions

Mercurial Mercurial > hg > selinux / file revisions

Flask.thy

2013-11-20	chunhan	add conflict of p fd as file_fd & socket	file \| diff \| annotate
2013-11-20	chunhan	simplifing model, by changing current_proc_fds to proc_file_fds in the Clone & Execve cases of os_grant	file \| diff \| annotate
2013-11-20	chunhan	simplifing model, by changing sectxt_of_obj s' (O_proc p) of None \<Rightarrow> False	file \| diff \| annotate
2013-11-19	chunhan	update grant_check	file \| diff \| annotate
2013-10-30	chunhan	update	file \| diff \| annotate
2013-10-21	chunhan	appropriate object for taintable	file \| diff \| annotate
2013-10-08	chunhan	bug in tainted	file \| diff \| annotate
2013-08-27	chunhan	find bugs in os_grant, case RecvMsg	file \| diff \| annotate
2013-07-09	chunhan	Info_flow_shm_attach_prop	file \| diff \| annotate
2013-06-24	chunhan	finished info_flow_shm(simple def) simpset	file \| diff \| annotate
2013-06-24	chunhan	wrong of info-flow-shm, it is a inductive(transitive) notion, not a simple relation just between 2 nodes, more information, see 5.7 of ideas_of_selinux.txt	file \| diff \| annotate
2013-06-09	chunhan	locale of tainting for seeds when same shm/inode bugs	file \| diff \| annotate
2013-06-08	chunhan	info_flow_shm bug & update	file \| diff \| annotate
2013-06-06	chunhan	reprove the top-level dynamic2static	file \| diff \| annotate
2013-06-04	chunhan	info_flow did NOT guarantee in current_procs	file \| diff \| annotate
2013-06-03	chunhan	finally get cph2spshs_attach done	file \| diff \| annotate
2013-05-30	chunhan	shm attached at most once	file \| diff \| annotate
2013-05-30	chunhan	co2sobj simpset	file \| diff \| annotate
2013-05-22	chunhan	Modify definitions of cpfd2sfds	file \| diff \| annotate
2013-05-16	chunhan	find bugs in deleted & inum_of_file	file \| diff \| annotate
2013-05-15	chunhan	finally get cf2sfile path property done	file \| diff \| annotate
2013-05-15	chunhan	remove duplicated pre-condition of current_files in OS_grant, since it is property if is_file/is_dir.	file \| diff \| annotate
2013-05-09	chunhan	fixed bugs in deleted definition	file \| diff \| annotate
2013-05-05	chunhan	fixed bugs in def of cf2sfile	file \| diff \| annotate
2013-05-03	chunhan	thy files	file \| diff \| annotate

less more (0) tip

selinux

RSS Atom