selinux: Shortlog

Mercurial Mercurial > hg > selinux / shortlog

2013-06-16	chunhan	info_flow_shm is wrongly defined: p -flow-> p'; p' -flow-> p'' ==> p -flow-> p'', this property cannot be infered by current definition. we should use inductive	changeset \| files
2013-06-09	chunhan	locale of tainting for seeds when same shm/inode bugs	changeset \| files
2013-06-08	chunhan	info_flow_shm bug & update	changeset \| files
2013-06-06	chunhan	update	changeset \| files
2013-06-06	chunhan	fixed bug in tainted_s and update	changeset \| files
2013-06-06	chunhan	reprove the top-level dynamic2static	changeset \| files
2013-06-04	chunhan	info_flow did NOT guarantee in current_procs	changeset \| files
2013-06-04	chunhan	updated	changeset \| files
2013-06-03	chunhan	done with cph2spshs simpset	changeset \| files
2013-06-03	chunhan	finally get cph2spshs_attach done	changeset \| files
2013-05-30	chunhan	shm attached at most once	changeset \| files
2013-05-30	chunhan	co2sobj simpset	changeset \| files
2013-05-22	chunhan	Modify definitions of cpfd2sfds	changeset \| files
2013-05-21	chunhan	update	changeset \| files
2013-05-21	chunhan	fix bugs and proofs	changeset \| files
2013-05-17	chunhan	update proof scripts after Rmdir case	changeset \| files
2013-05-16	chunhan	find bugs in deleted & inum_of_file	changeset \| files
2013-05-15	chunhan	finally get cf2sfile path property done	changeset \| files
2013-05-15	chunhan	remove duplicated pre-condition of current_files in OS_grant, since it is property if is_file/is_dir.	changeset \| files
2013-05-10	chunhan	finish delete_prop.thy	changeset \| files
2013-05-09	chunhan	fixed bugs in deleted definition	changeset \| files
2013-05-08	chunhan	update	changeset \| files
2013-05-05	chunhan	fixed bugs in def of cf2sfile	changeset \| files
2013-05-03	chunhan	thy files	changeset \| files
2013-05-01	chunhan	add papers and a book	changeset \| files

(0) tip

selinux

RSS Atom