Title
Specification and Verification of Secure Business Transaction Systems
Year
DOI
Venue
2002
10.1007/3-540-36137-5_18
SOFSEM
Keywords
Field
DocType
secure business transaction systems,life cycle,formal specification,security policy,information flow,business rules
Information flow (information theory),Computer security,Computer science,Formal specification,Access control,Business model,Security policy,Distributed transaction,Workflow,Business rule
Conference
Volume
ISSN
ISBN
2540
0302-9743
3-540-00145-X
Citations 
PageRank 
References 
1
0.37
4
Authors
2
Name
Order
Citations
PageRank
Vangalur S. Alagar116439.10
Kasilingam Periyasamy251.97