Unwinding forward correctability Export

@inproceedings{Millen94, abstract = {A state-machine formulation is given for forward correctability in event systems, to provide a type of unwinding result for this information flow security property. We show also how regular-expression notation provides an easy mechanical tool for verifying forward correctability for small systems, which is necessary for the effective presentation of examples and exercises}, author = {Millen, Jonathan K.}, booktitle = {7th IEEE Computer Security Foundations Workshop (CSFW '94)}, citeulike-article-id = {5446983}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/CSFW.1994.315952}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=315952}, citeulike-linkout-2 = {http://homepage.mac.com/j.millen/UNWIND.PDF}, doi = {10.1109/CSFW.1994.315952}, isbn = {0-8186-6230-1}, journal = {Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings}, keywords = {1994, confidentiality, forward-correctability, information-flow, property, state-machine, unwinding}, location = {Franconia, NH, USA}, pages = {2--10}, posted-at = {2009-08-17 12:04:34}, priority = {2}, publisher = {IEEE Computer Society Press}, title = {Unwinding forward correctability}, url = {http://dx.doi.org/10.1109/CSFW.1994.315952}, year = {1994} }

TY - CONF ID - Millen94 L3 - citeulike-article-id:5446983 N2 - A state-machine formulation is given for forward correctability in event systems, to provide a type of unwinding result for this information flow security property. We show also how regular-expression notation provides an easy mechanical tool for verifying forward correctability for small systems, which is necessary for the effective presentation of examples and exercises CY - Franconia, NH, USA JF - Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings SN - 0-8186-6230-1 EP - 10 TI - Unwinding forward correctability PB - IEEE Computer Society Press T2 - 7th IEEE Computer Security Foundations Workshop (CSFW '94) SP - 2 KW - 1994 KW - confidentiality KW - forward-correctability KW - information-flow KW - property KW - state-machine KW - unwinding AU - Millen, Jonathan PY - 1994/// UR - http://dx.doi.org/10.1109/CSFW.1994.315952 ER -