Result 1 to 20 of 72 total
Modeling the supervisory control theory with Alloy. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 94-107 (2012).
1
A metamodel of the B modeling of access-control policies: Work in progress. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12‒13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 234-241 (2012).
2
Specification and verification of access control policies in EB$^{3}$SEC: Work in progress. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12‒13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 227-233 (2012).
3
A metamodel for the design of access-control policy enforcement managers: Work in progress. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12‒13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 218-226 (2012).
4
From ASTD access control policies to WS-BPEL processes deployed in a SOA environment. (English)
Chiu, Dickson K. W. (ed.) et al., Web information systems engineering ‒ WISE 2010 workshops. WISE 2010 international symposium WISS, and international workshops CISE, MBC, Hong Kong, China, December 12‒14, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24395-0/pbk). Lecture Notes in Computer Science 6724, 126-141 (2011).
5
A SAT-based approach for the construction of reusable control system components. (English)
Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 52-67 (2011).
6
Enforcing ASTD access-control policies with WS-BPEL processes in SOA environments (English)
IJSSOE 2, No. 2, 37-59 (2011).
7
Expressing access control policies with an event-based approach (English)
CAiSE Workshops, 607-621 (2011).
8
A SAT-based approach for the construction of reusable control system components (English)
FMICS, 52-67 (2011).
9
A proof-based approach to verifying reachability properties (English)
SAC, 1651-1657 (2011).
10
Pervasive safety application with model checking in smart houses: the INOVUS intelligent oven (English)
PerCom Workshops, 630-635 (2011).
11
A four-concern-oriented secure IS development approach (English)
SECRYPT, 464-471 (2011).
12
Comparison of model checking tools for information systems. (English)
Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 581-596 (2010).
13
Systematic translation rules from {\sc astd} to event-B. (English)
Méry, Dominique (ed.) et al., Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16264-0/pbk). Lecture Notes in Computer Science 6396, 245-259 (2010).
14
Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. (English)
Lecture Notes in Computer Science 5977. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). xiv, 416~p. EUR~66.34 (2010).
15
Modélisation de politiques de sécurité à l’aide d’une algèbre de processus. Présentation de la méthode $EB^{3}$SEC (English)
Ingénierie des Systèmes d’Information 15, No. 3, 113-136 (2010).
16
Model-driven engineering of functional security policies (English)
ICEIS (3), 374-379 (2010).
17
Comparison of model checking tools for information systems (English)
ICFEM, 581-596 (2010).
18
Systematic translation rules from astd to event-B (English)
IFM, 245-259 (2010).
19
From ASTD access control policies to WS-BPEL processes deployed in a SOA environment (English)
WISE Workshops, 126-141 (2010).
20
Result 1 to 20 of 72 total
Start
Contact
Print
General Help
